Author:
Bainbridge E.S.,Freyd P.J.,Scedrov A.,Scott P.J.
Subject
General Computer Science,Theoretical Computer Science
Reference64 articles.
1. Functorial polymorphism;Bainbridge,1987
2. The Lambda Calculus;Barendregt,1984
3. Programming in Ada;Barnes,1981
4. Automatic synthesis of typed A-programs on term algebras;Böhm;Theoret. Comput. Sci.,1985
5. Extensional models for polymorphism;Breazu-Tennen,1987
Cited by
103 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10
2. Deduction at the Crossroads;Synthese Library;2024
3. Intensional Harmony as Isomorphism;Outstanding Contributions to Logic;2024
4. A New Conjecture About Identity of Proofs;Synthese Library;2023-12-13
5. (Deep) induction rules for GADTs;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11