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
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. GADTs are not (Even partial) functors;Mathematical Structures in Computer Science;2024-08-27
2. Fixpoint operators for 2-categorical structures;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. Constructing Initial Algebras Using Inflationary Iteration;Electronic Proceedings in Theoretical Computer Science;2022-11-03
4. GADTs, Functoriality, Parametricity: Pick Two;Electronic Proceedings in Theoretical Computer Science;2022-04-08
5. Actads;Science China Mathematics;2022-03-18