3 citations · 6 across the 8 of their papers we have counts for
Showing 2014 · math.CTShow all
2 papers · 2 filters
math.CT2014
Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes
Samuele Maschio, Thomas Streicher
With every pca and subpca we associate the nested realizability topos within which we identify a class of s…
math.CT2014★ 2 cited
A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
Thomas Streicher
We study a classical realizability model (in the sense of J.-L. Krivine) arising from a model of untyped lambda calculus in coherence spaces. We show that this model validates coun…