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 -calculus; -calculus; Equational programming; Functional programming; Automated synthesis of programs

Language: English

Document Type: Research article

DOI: http://dx.doi.org/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

Publication date: 1996-06-10

• In this: publication
• By this: publisher
• In this Subject: Computer Science ,  Mathematics and Statistics
• By this author: Tronci E.

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