Church-Rosser strategies in the lambda calculus

DSpace/Manakin Repository

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

(1979) Theoretical Computer Science : the journal of the EATCS, volume 9, issue 1, pp. 27 - 38

(Article)

Download/Full Text

ISSN: 0304-3975

Publisher: North-Holland Publishing Company

See more statistics about this item