|
|||||
|
|
Storage Operators and ∀-positive Types in TTR Type System |
|
| Authors: | Karim Nour |
| Abstract: | |
| Keywords: | Storage operator Head normal form Head reduction AF2 type system Least fixed point TTR type system Arrow type Without-arrow type ∀ -positive type ⟂ -type Gö del transformation |