Searching for authors named "Thorsten Altenkirch" – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
