Publisher
Springer International Publishing
Reference111 articles.
1. Peter Aczel. On Relating Type Theories and Set Theories. In T. Altenkirch, B. Reus, and W. Naraschewski, editors, Types for Proofs and Programs, pages 33–46. Springer, 1998.
2. Peter Aczel. The Russell-Prawitz modality. Math. Struct. Comput. Sci., 11(4):541–554, 2001.
3. M. Algehed and J.-Ph. Bernardy. Simple noninterference from parametricity. Proc. ACM Program. Lang., 3(ICFP):89:1–89:22, 2019.
4. L. Augustsson, Th. Coquand, and B. Nordström. Another logical framework. In Annual Workshop on Logical Frameworks, 1990, 1990.
5. S. Awodey, J. Frey, and S. Speight. Impredicative encodings of (higher) inductive types. In Anuj Dawar and Erich Grädel, editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pages 76–85. ACM, 2018.