Iterated realizability as a comma construction

DOI10.1017/S0305004107000400zbMath1144.18004MaRDI QIDQ5450701

Pieter J. W. Hofstra

Publication date: 13 March 2008

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

zbMATH Keywords

partial combinatory algebrabasic combinatorial objectiterated realizabilitylax comma object

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Functor categories, comma categories (18A25)

Related Items (3)

The category of implicative algebras and realizability ⋮ Ordered combinatory algebras and realizability ⋮ Categorical simulations

Cites Work

• Ordered partial combinatory algebras

This page was built for publication: Iterated realizability as a comma construction