The category of implicative algebras and realizability (Q5108535)
From MaRDI portal
scientific article; zbMATH DE number 7196237
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The category of implicative algebras and realizability |
scientific article; zbMATH DE number 7196237 |
Statements
The category of implicative algebras and realizability (English)
0 references
4 May 2020
0 references
realizability
0 references
applicative morphisms
0 references
computationally dense morphisms
0 references
combinatory algebras
0 references
abstract Krivine's structures
0 references
