On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes

DOI10.1017/S096012952100013XzbMath1478.18004OpenAlexW3195946450MaRDI QIDQ5156775

Jetze Zoethout

Publication date: 11 October 2021

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

partial combinatory algebrarealizability toposes

Mathematics Subject Classification ID

Topoi (18B25) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Basic subtoposes of the effective topos
• Realizability. An introduction to its categorical side
• Internal Partial Combinatory Algebras and their Slices
• All realizability is relative
• Tripos theory
• Ordered partial combinatory algebras
• More on Geometric Morphisms between Realizability Toposes
• On the interpretation of intuitionistic number theory

This page was built for publication: On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes