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

Author: Tronci E.¹

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

Publisher: Elsevier

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

Links for this article

http://www.ingentaconnect.com/els/03043975/1996/00000160/00000001/art00106
http://openurl.ingenta.com/content?genre=article&issn=0304-3975&volume=160&issue=1&spage=185&epage=216
http://dx.doi.org/10.1016/0304-3975(95)00106-9