Publication:2763639
From MaRDI portal
zbMath0977.68602MaRDI QIDQ2763639
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2024/20240185
68N18: Functional programming and lambda calculus
68U99: Computing methodologies and applications
68N17: Logic programming
Related Items
Functional Logic Programming: From Theory to Curry, Implementing Relational Specifications in a Constraint Functional Logic Language
Uses Software