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.
Nontrivial power types canâ€™t be subtypes of polymorphic types, ps.gz
Tripos theory in retrospect, pdf
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:
Last revised on March 4, 2023 at 21:01:55. See the history of this page for a list of all contributions to it.