Equational programming in lambda-calculus via SL-systems. Part 2

Author: Tronci E.1

Source: Theoretical Computer Science, Volume 160, Number 1, 10 June 1996 , pp. 185-216(32)

Publisher: Elsevier

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

Keywords: Systems of equations in the lambda-calculus; lambda-calculus; Equational programming; Functional programming; Automated synthesis of programs

Language: English

Document Type: Research article

DOI: 10.1016/0304-3975(95)00106-9

Affiliations: 1: Dipartimento di Matematica Pura ed Applicata, Universita dell'Aquila, Via Vetoio, Coppito, 67100 L'Aquila, Italy

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