parigot88

M. Parigot. Programming with Proofs: A Second-Order Type Theory. In Proc. ESOP '88, Lecture Notes in Computer Science, Vol. 300, Pages 145-159, 1988.

Keyword

[ Typetheory ]

Contact

M. Parigot

BibTex Reference

@InProceedings{parigot88,
   Author = {Parigot, M.},
   Title = {Programming with Proofs: A Second-Order Type Theory},
   BookTitle = {Proc. ESOP '88},
   Pages = {145--159},
   Publisher = {Springer},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)