Confluence and strong normalisation of the generalised multiary lambda-calculus

Annals of the New York Academy of Sciences

Journal Article

L Pinto

Publication

Year of publication: 2004

Identifiers

Other: WOS:000222571900013

Locators

Alternative Titles