Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal Article

L. Pinto

Publication

Year of publication: 2004

Volume: 3085

Pages: 194-209

Identifiers

Other: 2-s2.0-35048858736

Locators

Alternative Titles