Ordered partial combinatory algebras

DOI10.1017/S0305004102006424MaRDI QIDQ4431167zbMATH OpenOpenAlexFDO

Authors Jaap van Oosten, Pieter Hofstra

Publication date 13 October 2003

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0305004102006424

zbMATH Keywords

2-category2-functorgeometric morphismsKleisli categorymonadordered partial combinatory algebrapartitioned assembliesrealizability triposes

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
• Iterated realizability as a comma construction
• Internal partial combinatory algebras and their slices
• All realizability is relative
• Partial combinatory algebras of functions

Cited in

(26)

• Functoriality of modified realizability
• Characterizing partitioned assemblies and realizability toposes
• Relative completions
• Third-order functionals on partial combinatory algebras
• Combinatory classes of compositions with higher order conjugation
• Ordered combinatory algebras and realizability
• Internal partial combinatory algebras and their slices
• scientific article; zbMATH DE number 5530075 (Why is no real title available?)
• scientific article; zbMATH DE number 512780 (Why is no real title available?)
• Realizability in ordered combinatory algebras with adjunction
• Collapsing partial combinatory algebras
• Aspects of categorical recursion theory
• The category of implicative algebras and realizability
• On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
• Aspects of predicative algebraic set theory. II: Realizability
• Regular functors and relative realisability categories
• Krivine's classical realisability from a categorical perspective
• Iterated realizability as a comma construction
• Effective operations of type 2 in PCAs
• Generalizing realizability and Heyting models for constructive set theory
• Partial combinatory algebras of functions
• Arrow algebras
• Computable structure theory of partial combinatory algebras
• A category of arrow algebras for modified realizability
• Categorical simulations
• Introduction to Turing categories

This page was built for publication: Ordered partial combinatory algebras

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