Curry-Style Types for Nominal Terms

By M. Fernández, Murdoch James Gabbay. Types for Proofs and Programs, 2006

310 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/dafb9c0e6740b9b70404dbd1714130adcd5042f6