An extensional Kleene realizability semantics for the Minimalist Foundation (Q5277976)
From MaRDI portal
scientific article; zbMATH DE number 6744290
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An extensional Kleene realizability semantics for the Minimalist Foundation |
scientific article; zbMATH DE number 6744290 |
Statements
12 July 2017
0 references
realizability
0 references
type theory
0 references
formal Church thesis
0 references
math.LO
0 references
An Extensional Kleene Realizability Semantics for the Minimalist Foundation (English)
0 references
