A-translation and looping combinators in pure type systems (Q4764266)
From MaRDI portal
scientific article; zbMATH DE number 750652
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A-translation and looping combinators in pure type systems |
scientific article; zbMATH DE number 750652 |
Statements
A-translation and looping combinators in pure type systems (English)
0 references
11 June 1995
0 references
generalization of \(A\)-translation to a class of pure type systems
0 references
looping combinator
0 references
inconsistent type systems
0 references
