Monadic Presentations of Lambda Terms Using Generalized Inductive Types (1999)

Cached

Download Links

by Thorsten Altenkirch , Bernhard Reus
Venue:In Computer Science Logic
Citations:77 - 15 self

Active Bibliography

Foundations and Applications of Higher-Dimensional Directed Type Theory – n.n.
Foundations and Applications of Higher-Dimensional Directed Type Theory – Robert Harper, Daniel R. Licata
31 Constructions, Inductive Types and Strong Normalization – Thorsten Altenkirch - 1993
86 Engineering formal metatheory – Brian Aydemir, Randy Pollack - 2008
6 Integrated Verification in Type Theory (Lecture Notes) – Thorsten Altenkirch - 1996
20 Extensional Equality in Intensional Type Theory – Thorsten Altenkirch - 1999
9 Functional pearl: I am not a number–I am a free variable – Conor Mcbride, James Mckinna
8 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
2 Extracting a normalization algorithm in Isabelle/HOL – Stefan Berghofer - 2004
6 Dependently Typed Programming with Domain-Specific Logics – Daniel R. Licata, Robert Harper - 2008
2 2-Dimensional Directed Type Theory – Daniel R. Licata, Robert Harper
17 A Universe of Binding and Computation – Daniel R. Licata, Robert Harper
11 Programming With Types – Stephanie Claudene Weirich - 2002
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
5 Representing Cyclic Structures as Nested Datatypes – Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
44 Intuitionistic Model Constructions and Normalization Proofs – Thierry Coquand, Peter Dybjer - 1998