Linearity and PCF

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

zbMATH Keywords

operational semanticslinear logicdenotational semanticsPCF

Mathematics Subject Classification ID

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)

$$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations

This page was built for publication: Linearity and PCF