Invertible terms in the lambda calculus

DSpace/Manakin Repository

Bergstra, J.A.; Klop, J.W.

(1980) Theoretical Computer Science : the journal of the EATCS, volume 11, issue 1, pp. 19 - 37

(Article)

Download/Full Text

ISSN: 0304-3975

Publisher: North-Holland Publishing Company

See more statistics about this item