A-translation and looping combinators in pure type systems (Q4764266): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Syntactic translations and provably recursive functions / rank | |||
Normal rank |
Latest revision as of 13:14, 23 May 2024
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