Invited Talk: Design of a Proof Assistant (at LICS 1996)
Authors: Gérard HuetAbstract
No Abstract Available
BibTeX
@InProceedings{Huet-DesignofaProofAssis, author = {Gérard Huet}, title = {Design of a Proof Assistant}, booktitle = {Proceedings of the Eleventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1996}, year = 1996, editor = {Edmund M. Clarke}, month = {July}, location = {New Brunswick, NJ, USA}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }