scientific article; zbMATH DE number 2043520

zbMath1038.68025MaRDI QIDQ4447222

Maribel Fernández, François-Régis Sinot, Ian Mackie

Publication date: 16 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060046.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (4)

The Prismoid of Resources ⋮ Resource operators for \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Lambda-calculus with director strings

This page was built for publication: