scientific article; zbMATH DE number 1497734

MaRDI QIDQ4499144zbMATH OpenFDO

Authors Andrew M. Pitts

Publication date 6 March 2001

zbMATH Keywords

Hyland's realizability toposestripos

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Tripos theory in retrospect
• scientific article; zbMATH DE number 1513329
• Some remarks on duality triads
• scientific article; zbMATH DE number 1406214
• The basic theorem of triadic concept analysis
• Three dual ontologies
• An overview of triadic concept analysis
• The Trilattice of Constructive Truth Values
• A structure theory of Freudenthal-Kantor triple systems

Cited in

(5)

• Weakest preconditions in fibrations
• Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
• Tripos theory in retrospect
• Weakest preconditions in fibrations
• Triposes as a generalization of localic geometric morphisms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499144)