3 citations · 6 across the 8 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014★ 3 cited
Observationally-induced algebras in Domain Theory
Ingo Battenfeld, Klaus Keimel, Thomas Streicher
In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schroeder for the purpose of modelling computational effects in the par…
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…