A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus (Q4596803)
From MaRDI portal
scientific article; zbMATH DE number 6816945
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus |
scientific article; zbMATH DE number 6816945 |
Statements
11 December 2017
0 references
classical realizability
0 references
categorical logic
0 references
bar recursion
0 references
math.CT
0 references
math.LO
0 references
