Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abel, A.: Weak normalization for the simply-typed lambda-calculus in Twelf. In: Logical Frameworks and Metalanguages (LFM 2004). IJCAR, Cork, Ireland (2004)
2. Lecture Notes in Computer Science;A. Abel,2004
3. Abel, A., Matthes, R., Uustalu, T.: Iteration schemes for higher-order and nested datatypes. Theoretical Computer Science 333(1–2), 3–66 (2005)
4. Adams, R.: A Modular Hierarchy of Logical Frameworks. Ph.D. thesis, University of Manchester (2005)
5. Lecture Notes in Computer Science;T. Altenkirch,1999
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized;Proceedings of the ACM on Programming Languages;2023-08-30
2. Polarized Subtyping;Programming Languages and Systems;2022
3. GADTs Meet Subtyping;Programming Languages and Systems;2013
4. Strong Normalization and Equi-(Co)Inductive Types;Lecture Notes in Computer Science;2007
5. Semi-continuous Sized Types and Termination;Computer Science Logic;2006