Church-Rosser strategies in the lambda calculus
DSpace/Manakin Repository
Church-Rosser strategies in the lambda calculus
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
Open Access version via Utrecht University Repository
ISSN: 0304-3975
Publisher: North-Holland Publishing Company
See
more statistics
about this item