Combinatory weak reduction in lambda calculus

Authors: Cagman N.; Hindley J.R.

Source: Theoretical Computer Science, Volume 198, Number 1, 30 May 1998 , pp. 239-247(9)

Publisher: Elsevier

Language: English

Document Type: Short communication

DOI: http://dx.doi.org/10.1016/S0304-3975(97)00250-8

Affiliations: 1: Department of Mathematics, University of Wales Swansea, Singleton Park, Swansea SA2 8PP, UK

Publication date: 1998-05-30

• In this: publication
• By this: publisher
• In this Subject: Computer Science ,  Mathematics and Statistics
• By this author: Cagman N. ;  Hindley J.R.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers