felty93

Amy Felty. Encoding the Calculus of Constructions in a Higher-Order Logic. In Proc. Logic in Computer Science (LICS), Montreal, Canada, June 1993.

Keyword

[ Typetheory ]

Contact

Amy Felty

BibTex Reference

@InProceedings{felty93,
   Author = {Felty, Amy},
   Title = {Encoding the Calculus of Constructions in a Higher-Order Logic},
   BookTitle = {Proc. Logic in Computer Science (LICS), Montreal, Canada},
   Publisher = {IEEE Computer Society Press},
   Month = {June},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)