paulin89

C. Paulin-Mohring. Extracting F-omega's Programs from Proofs in the Calculus of Constructions. In Proc. 16th Annual ACM Symp. on Principles of Programming Languages, Pages 89-104, Austin, Texas, January 1989.

Keyword

[ Typetheory ]

Contact

C. Paulin-Mohring

BibTex Reference

@InProceedings{paulin89,
   Author = {Paulin-Mohring, C.},
   Title = {Extracting F-omega's Programs from Proofs in the Calculus of Constructions},
   BookTitle = {Proc. 16th Annual ACM Symp. on Principles of Programming Languages},
   Pages = {89--104},
   Address = {Austin, Texas},
   Month = {January},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)