  |
Items where Author is "Altenkirch, Thorsten"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 3. ArticleAltenkirch, Thorsten and Boulier, Simon and Kaposi, Ambrus and Sattler, Christian and Sestini, Filippo (2021) Constructing a universe for the setoid model. LECTURE NOTES IN COMPUTER SCIENCE, 12650. pp. 1-21. ISSN 0302-9743 Altenkirch, Thorsten and Kaposi, Ambrus (2017) Normalisation by Evaluation for Type Theory, in Type Theory. LOGICAL METHODS IN COMPUTER SCIENCE, 13 (4). ISSN 1860-5974 Conference or Workshop ItemAltenkirch, Thorsten and Kaposi, Ambrus (2021) A container model of type theory. In: 27th International Conference on Types for Proofs and Programs, 14 – 18 June 2021. |
