scientific article; zbMATH DE number 512780
From MaRDI portal
Publication:4281473
Recommendations
- Local realizability toposes and a modal logic for computability
- On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
- Realizability. An introduction to its categorical side
- scientific article; zbMATH DE number 1555189
- Characterizing partitioned assemblies and realizability toposes
- Iterated realizability as a comma construction
- Relative and modified relative realizability
- Sheaf toposes for realizability
- Theory and Applications of Models of Computation
- Ordered partial combinatory algebras
Cited in
(17)- Combinatory weak reduction in lambda calculus
- Typing untyped \(\lambda\)-terms, or reducibility strikes again!
- Strong normalization for non-structural subtyping via saturated sets
- Axioms and (counter)examples in synthetic domain theory
- Functoriality of modified realizability
- Characterizing partitioned assemblies and realizability toposes
- The sequentially realizable functionals
- Relative and modified relative realizability
- A note on inequivalence of realizability toposes
- scientific article; zbMATH DE number 1555189 (Why is no real title available?)
- A simple model construction for the calculus of constructions
- Normalization by Evaluation for Typed Weak lambda-Reduction
- The Herbrand topos
- Proving strong normalization of CC by modifying realizability semantics
- Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves
- The modified realizability topos
- Arrow algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281473)
