Author:
Gambino Nicola,Hyland Martin
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abbott, M.: Categories of Containers. Ph.D. thesis, University of Leicester (2003)
2. Lecture Notes in Computer Science;M. Abbott,2003
3. Aczel, P.: The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions. In: Barcan Marcus, R.B., et al. (eds.) Logic, Methodology and Philosophy of Science, VII, North-Holland, Amsterdam (1986)
4. Barr, M., Wells, C.: Toposes, triples and theories. Springer, Heidelberg (1985)
5. Dybjer, P.: Representing inductively defined sets by wellorderings in Martin-Löf’s type theory. Theoretical Computer Science 176, 329–335 (1997)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fixpoint operators for 2-categorical structures;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Constructing Initial Algebras Using Inflationary Iteration;Electronic Proceedings in Theoretical Computer Science;2022-11-03
3. GADTs, Functoriality, Parametricity: Pick Two;Electronic Proceedings in Theoretical Computer Science;2022-04-08
4. Actads;Science China Mathematics;2022-03-18
5. Implementing a category-theoretic framework for typed abstract syntax;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11