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)

Book

Publication

Year of publication: 2004

Volume: 3085

Pages: 194-209

Identifiers

Other: 2-s2.0-35048858736

Locators

DOI: 10.1007/978-3-540-24849-1_13

Alternative Titles