Equational programming in \(\lambda\)-calculus via SL-systems. Part 2
type: Item
instance of: scholarly article
title: Equational programming in \(\lambda\)-calculus via SL-systems. Part 2
zbMATH Open document ID: 0872.68012
DOI: 10.1016/0304-3975(95)00106-9
author: Enrico Tronci
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 984048
zbMATH Keywords: systems of equations in the \(\lambda\)-calculus
zbMATH Keywords: \(\lambda\)-calculus
zbMATH Keywords: equational programming
zbMATH Keywords: functional programming
zbMATH Keywords: automated synthesis of programs
MaRDI profile type: Publication
full work available at URL: 0304-3975(95)00106-9
OpenAlex ID: W4213129303
cites work: Q3342534
cites work: Q4204131
cites work: About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
cites work: REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS
cites work: Equational programming in \(\lambda\)-calculus via SL-systems. Part 1
description: scientific article; zbMATH DE number 984048