scientific article; zbMATH DE number 2016068

zbMath1028.68020MaRDI QIDQ4438766

Ian Mackie, Maribel Fernández

Publication date: 10 December 2003

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (4)

Unnamed Item ⋮ Proof nets and the call-by-value \(\lambda\)-calculus ⋮ New Developments in Environment Machines ⋮ A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine

This page was built for publication: