Login / Signup
A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus.
Thomas Streicher
Published in:
Log. Methods Comput. Sci. (2017)
Keyphrases
</>
high level
pairwise
formal model
data abstraction