Combinatory weak reduction in lambda calculus

Authors: Cagman N.; Hindley J.R.1

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

Publisher: Elsevier

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content

Language: English

Document Type: Short communication

DOI: 10.1016/S0304-3975(97)00250-8

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

This article is hosted on another website.

You may be required to register, activate a subscription or purchase the article before you can obtain the full text.

Proceed

Back to top

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
Page Help Click here for Page Help
Shopping cart
Tools
Sign in






Need to register?
Sign up here
Text size: A | A | A | A