Search Results - Altenkirch, Thorsten

Thorsten Altenkirch

Thorsten Altenkirch ( , ) is a German Professor of Computer Science at the University of Nottingham known for his research on logic, type theory, and homotopy type theory. Altenkirch was part of the 2012/2013 special year on univalent foundations at the Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton. Provided by Wikipedia
  • Showing 1 - 16 results of 16
Refine Results
  1. 1
    Representations of first order function types as terminal coalgebras

    Representations of first order function types as terminal coalgebras by Altenkirch, Thorsten

    Published 2001
    Get full text
  2. 2
    Type theory in type theory using quotient inductive types

    Type theory in type theory using quotient inductive types by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2016
    Get full text
  3. 3
    Normalisation by evaluation for dependent types

    Normalisation by evaluation for dependent types by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2016
    Get full text
  4. 4
    Towards a cubical type theory without an interval

    Towards a cubical type theory without an interval by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2017
    Get full text
  5. 5
    Free higher groups in homotopy type theory

    Free higher groups in homotopy type theory by Kraus, Nicolai, Altenkirch, Thorsten

    Published 2018
    Get full text
  6. 6
    Normalisation by evaluation for type theory, in type theory

    Normalisation by evaluation for type theory, in type theory by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2017
    Get full text
  7. 7
    Some constructions on ω-groupoids

    Some constructions on ω-groupoids by Altenkirch, Thorsten, Li, Nuo, Ondřej, Rypáček

    Published 2014
    Get full text
  8. 8
    Relative monads formalised

    Relative monads formalised by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo

    Published 2014
    Get full text
  9. 9
    When is a function a fold or an unfold?

    When is a function a fold or an unfold? by Gibbons, Jeremy, Hutton, Graham, Altenkirch, Thorsten

    Published 2001
    Get full text
  10. 10
    Monads need not be endofunctors

    Monads need not be endofunctors by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo

    Published 2015
    Get full text
  11. 11
    Extending homotopy type theory with strict equality

    Extending homotopy type theory with strict equality by Altenkirch, Thorsten, Capriotti, Paolo, Nicolai, Kraus

    Published 2016
    Get full text
  12. 12
    Partiality, revisited: the partiality monad as a quotient inductive-inductive type

    Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielson, Nils Anders, Kraus, Nicolai

    Published 2016
    Get full text
  13. 13
    Partiality, revisited: the partiality monad as a quotient inductive-inductive type

    Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielsson, Nils Anders, Kraus, Nicolai

    Published 2017
    Get full text
  14. 14
    Pure functional epidemics

    Pure functional epidemics by Thaler, Jonathan, Altenkirch, Thorsten, Siebers, Peer-Olaf

    Published 2018
    Get full text
  15. 15
    Notions of anonymous existence in Martin-Löf type theory

    Notions of anonymous existence in Martin-Löf type theory by Kraus, Nicolai, Escardo, Martin, Coquand, Thierry, Altenkirch, Thorsten

    Published 2016
    Get full text
  16. 16
    Quotient inductive-inductive types

    Quotient inductive-inductive types by Altenkirch, Thorsten, Capriotti, Paolo, Dijkstra, Gabe, Nordvall Forsberg, Fredrik Nordvall Forsberg

    Published 2017
    Get full text

Search Tools: