Storage Operators and ∀‐positive Types in TTR Type System (Q4888346)
From MaRDI portal
scientific article; zbMATH DE number 910454
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Storage Operators and ∀‐positive Types in TTR Type System |
scientific article; zbMATH DE number 910454 |
Statements
Storage Operators and ∀‐positive Types in TTR Type System (English)
0 references
5 December 1996
0 references
head-reduction
0 references
storage operator
0 references
AF2 type system
0 references
\(\forall\)-positive types
0 references
Gödel translation
0 references
TTR type system
0 references
type of recursive integers
0 references
