Bar recursion in classical realisability : dependent choice and continuum hypothesis (Q5278411)
From MaRDI portal
scientific article; zbMATH DE number 6748874
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bar recursion in classical realisability : dependent choice and continuum hypothesis |
scientific article; zbMATH DE number 6748874 |
Statements
19 July 2017
0 references
\(\lambda\)-calculus
0 references
Curry-Howard correspondence
0 references
set theory
0 references
cs.LO
0 references
math.LO
0 references
