Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
OptiTrust
OptiTrust draft paper
OptiTrust traces
OptiTrust website
Home
–
Contact
@InProceedings{mckinna-pollack-93, author = "James McKinna and Randy Pollack", title = "Pure Type Systems Formalized", year = "1993", number = "664", pages = "289--305", mon = mar, publisher = "Springer", series = "LNCS", booktitle = "International Conference on Typed Lambda Calculi and Applications (TLCA)", url = "http://www.dcs.ed.ac.uk/home/rap/export/formalPTS.ps.gz", }