bibtex

@inproceedings{Par96,
    title = {Natural proofs and programs optimization in the {Calculus of Inductive Constructions} },
    author = {Parent-Vigouroux, Catherine},
    month = {august},
    year = {1996},
    booktitle = {International Conference on Theorem Proving in Higher Order Logic},
    team = {SYNC},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4192431