scientific article; zbMATH DE number 7308466

zbMath1454.68022MaRDI QIDQ5150148

Mauro Piccolo, Marco Gaboardi

Publication date: 9 February 2021

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

This page was built for publication: