Local realizability toposes and a modal logic for computability

DOI10.1017/S0960129502003675zbMath1007.03057OpenAlexW2031853948MaRDI QIDQ3146245

Lars Birkedal, Steven Awodey, Dana S. Scott

Publication date: 31 October 2002

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

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

zbMATH Keywords

modal logicrealizability topospartial combinatory algebrastripos

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Topoi (18B25) Combinatory logic and lambda calculus (03B40) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (6)

Doctrines, modalities and comonads ⋮ A Relationship between Equilogical Spaces and Type Two Effectivity ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ On the ubiquity of certain total type structures ⋮ Operational domain theory and topology of sequential programming languages ⋮ Elementary axioms for local maps of toposes

This page was built for publication: Local realizability toposes and a modal logic for computability