Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 5.

Article

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)

Conference or Workshop Item

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.

Thesis (University of Nottingham only)

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

This list was generated on Wed Dec 13 18:27:45 2017 UTC.