Linearity and PCF
From MaRDI portal
Publication:5176988
DOI10.1145/2034773.2034822zbMath1323.68358OpenAlexW4235066124WikidataQ57722165 ScholiaQ57722165MaRDI QIDQ5176988
Marco Gaboardi, Luca Paolini, Mauro Piccolo
Publication date: 5 March 2015
Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2034773.2034822
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Linearity and PCF