Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Number of items: 5.

Altenkirch, Thorsten and Kaposi, Ambrus (2017) Normalisation by evaluation for type theory, in type theory. Logical Methods in Computer Science, 13 (4:1). pp. 1-26. ISSN 1860-5974

Altenkirch, Thorsten and Kaposi, Ambrus (2017) Towards a cubical type theory without an interval. Leibniz International Proceedings in Informatics . ISSN 1868-8969 (In Press)

Kaposi, Ambrus (2017) Type theory in a type theory with quotient inductive types. PhD thesis, University of Nottingham.

Altenkirch, Thorsten and Kaposi, Ambrus (2016) Normalisation by evaluation for dependent types. In: FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction, 22-26 June 2016, Porto, Portugal.

Altenkirch, Thorsten and Kaposi, Ambrus (2016) Type theory in type theory using quotient inductive types. In: POPL '16 The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20-22 January 2016, St Petersburg, Florida, United States of America.

This list was generated on Wed Dec 11 21:06:10 2024 UTC.