Developing theories of types and computability via realizability
From MaRDI portal
Publication:1574785
zbMath0947.68049MaRDI QIDQ1574785
Publication date: 13 August 2000
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Weak ideal topology in the topos of right acts over a monoid ⋮ Weak topologies on toposes ⋮ Categorical models of the differential λ-calculus ⋮ What should a generic object be? ⋮ Sheaf toposes for realizability ⋮ Categorical simulations ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ Introduction to Turing categories ⋮ Equilogical spaces ⋮ Relative and modified relative realizability
This page was built for publication: Developing theories of types and computability via realizability
