Second Order Isomorphic Types: A Proof Theoretic Study on Second Order λ-Calculus with Surjective Pairing and Terminal Object
Work
Year: 1995
Type: article
Source: Information and Computation
Author R. Dicosmo
Institutions École Normale Supérieure - PSL, Centre National de la Recherche Scientifique, Cornell University
Cites: 28
Cited by: 12
Related to: 10
FWCI: 0.425
Citation percentile (by year/subfield): 78.11
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze