scientific article; zbMATH DE number 7308470

zbMath1454.68021MaRDI QIDQ5150152

Nikolaos Siafakas, Maribel Fernández

Publication date: 9 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2009.5

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) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Proof nets and the call-by-value \(\lambda\)-calculus

This page was built for publication: