Ordered partial combinatory algebras

DOI10.1017/S0305004102006424zbMath1046.03038OpenAlexW1990564510MaRDI QIDQ4431167

Jaap van Oosten, Pieter J. W. 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-categorymonadKleisli category2-functorgeometric morphismspartitioned assembliesordered partial combinatory algebrarealizability triposes

Mathematics Subject Classification ID

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

Related Items (18)

Relative completions ⋮ Functoriality of modified realizability ⋮ Internal Partial Combinatory Algebras and their Slices ⋮ The category of implicative algebras and realizability ⋮ Ordered combinatory algebras and realizability ⋮ Characterizing partitioned assemblies and realizability toposes ⋮ Generalizing realizability and Heyting models for constructive set theory ⋮ Realizability in ordered combinatory algebras with adjunction ⋮ Regular functors and relative realisability categories ⋮ On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes ⋮ Krivine's classical realisability from a categorical perspective ⋮ Categorical simulations ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ Effective operations of type 2 in PCAs ⋮ Iterated realizability as a comma construction ⋮ Introduction to Turing categories ⋮ Aspects of Categorical Recursion Theory ⋮ Third-order functionals on partial combinatory algebras

This page was built for publication: Ordered partial combinatory algebras