HYBRID PARTIAL-TOTAL TYPE THEORY (Q4853339)
From MaRDI portal
scientific article; zbMATH DE number 810160
Language | Label | Description | Also known as |
---|---|---|---|
English | HYBRID PARTIAL-TOTAL TYPE THEORY |
scientific article; zbMATH DE number 810160 |
Statements
HYBRID PARTIAL-TOTAL TYPE THEORY (English)
0 references
29 October 1995
0 references
constructive type theory
0 references
hybrid type theory
0 references