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: 15.

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)

Altenkirch, Thorsten and Danielsson, Nils Anders and Kraus, Nicolai (2017) Partiality, revisited: the partiality monad as a quotient inductive-inductive type. Lecture Notes in Computer Science, 10203 . pp. 534-549. ISSN 0302-9743

Kraus, Nicolai and Escardo, Martin and Coquand, Thierry and Altenkirch, Thorsten (2016) Notions of anonymous existence in Martin-Löf type theory. Logical Methods in Computer Science . ISSN 1860-5974 (In Press)

Altenkirch, Thorsten and Chapman, James and Uustalu, Tarmo (2015) Monads need not be endofunctors. Logical Methods in Computer Science, 11 (1:3). pp. 1-40. ISSN 1860-5974

Altenkirch, Thorsten and Chapman, James and Uustalu, Tarmo (2014) Relative monads formalised. Journal of Formalized Reasoning, 7 (1). pp. 1-43. ISSN 1972-5787

Conference or Workshop Item

Kraus, Nicolai and Altenkirch, Thorsten (2018) Free higher groups in homotopy type theory. In: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 9–12 July 2018, Oxford, England. (In Press)

Altenkirch, Thorsten and Capriotti, Paolo and Dijkstra, Gabe and Nordvall Forsberg, Fredrik Nordvall Forsberg (2017) Quotient inductive-inductive types. In: FoSSaCS 2018: 21st International Conference on Foundations of Software Science and Computation Structures, 14-20 April 2018, Thessaloniki, Greece.

Altenkirch, Thorsten and Danielson, Nils Anders and Kraus, Nicolai (2016) Partiality, revisited: the partiality monad as a quotient inductive-inductive type. In: FoSSaCs 2017, 24-29 April 2017, Uppsala, Sweden. (In Press)

Altenkirch, Thorsten and Capriotti, Paolo and Nicolai, Kraus (2016) Extending homotopy type theory with strict equality. In: 25th EACSL Annual Conference on Computer Science Logic, 28 Aug - 3 Sep 2016, Marseille, France.

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.

Altenkirch, Thorsten and Li, Nuo and Ondřej, Rypáček (2014) Some constructions on ω-groupoids. In: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP '14), 17 Jul 2014, Vienna, Austria.

Gibbons, Jeremy and Hutton, Graham and Altenkirch, Thorsten (2001) When is a function a fold or an unfold? In: Workshop on Coalgebraic Methods in Computer Science (4th), 6-7 April 2001, Genova, Italy.

Altenkirch, Thorsten (2001) Representations of first order function types as terminal coalgebras. In: TLCA 2001.

This list was generated on Sun Jun 24 05:11:03 2018 UTC.