Searching for authors named "Thorsten Altenkirch" – sorted by Relevance.
-
References in Java
- Architecture http://cs.nott.ac.uk/∼txa/g51csa/ Thorsten Altenkirch School of Computer Science and IT University
- Add To MetaCart
-
Impredicative Representations of Categorical Datatypes
- Impredicative Representations of Categorical Datatypes Thesis Proposal Thorsten Altenkirch
- Add To MetaCart
-
α-Conversion Is Easy
- -conversion is easy THORSTEN ALTENKIRCH School of Computer Science & Information Technology, University of Nottingham
- Add To MetaCart
-
Representations of First Order Function Types as Terminal Coalgebras
- Representations of first order function types as terminal coalgebras Thorsten Altenkirch txa
- Cited by 5 (0 self) – Add To MetaCart
-
Integrated Verification in Type Theory (Lecture Notes)
- Integrated Verification in Type Theory (Lecture Notes) Thorsten Altenkirch Ludwig
- Cited by 5 (0 self) – Add To MetaCart
-
Consistency in ALF
- Consistency in ALF (Draft) Thorsten Altenkirch Department of Computer Science, Chalmers University
- Cited by 1 (0 self) – Add To MetaCart
-
Extensional Equality in Intensional Type Theory
- Extensional Equality in Intensional Type Theory Thorsten Altenkirch Department of Informatics
- Cited by 11 (6 self) – Add To MetaCart
-
Logical Relations and Inductive/coinductive Types
- Logical relations and inductive/coinductive types Thorsten Altenkirch Ludwig
- Cited by 17 (4 self) – Add To MetaCart
-
A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types
- Abel 1 and Thorsten Altenkirch 2 1 Department of Computer Science, University of Munich abel
- Add To MetaCart
-
Normalization by Evaluation for λ → 2
- Normalization by evaluation for # #2 Thorsten Altenkirch 1 # and Tarmo Uustalu 2 ## 1 School
- Add To MetaCart

