nLab Andrew Pitts

Selected writings

Andrew Mawdesley Pitts is a professor of theoretical computer science at Cambridge. His thesis was on the theory of triposes; he studies semantic of programming languages, type theory, symbolic computation etc.

Selected writings

  • Nontrivial power types can’t be subtypes of polymorphic types, ps.gz

  • The theory of triposes, 1981, thesis, pdf

  • Tripos theory in retrospect, pdf

On Gabriel-Ulmer duality:

On categorical semantics and the categorical model of dependent types:

On denotational semantics and domain theory:

On quotient types, inductive types and inductive-inductive types:

category: people

Last revised on June 22, 2024 at 12:26:18. See the history of this page for a list of all contributions to it.