nLab
Thomas Streicher

Selected writings

Selected writings

On categorical semantics of (dependent) type theory (and proving an initiality conjecture in Ch. 4):

  • Thomas Streicher, Semantics of type theory – Correctness, completeness and independence results, Progress in Theoretical Computer Science, Birkhäuser Boston, Inc., Boston, MA, 1991, xii+298 pp., (ISBN:0-8176-3594-7, doi:10.1007/978-1-4612-0433-6)

Introducing the homotopy type theory-interpretation of identity types:

  • Martin Hofmann, Thomas Streicher The groupoid interpretation of type theory, in: Giovanni Sambin et al. (eds.) , Twenty-five years of constructive type theory, Proceedings of a congress, Venice, Italy, October 19—21, 1995. Oxford: Clarendon Press. Oxf. Logic Guides. 36, 83-111 (1998). (ISBN:9780198501275, ps pdf)
category: people

Last revised on May 12, 2021 at 05:39:00. See the history of this page for a list of all contributions to it.