PELCR
From MaRDI portal
Publication:5277779
DOI10.1145/1243996.1243997zbMath1367.68053OpenAlexW1983303046MaRDI QIDQ5277779
Francesco Quaglia, Marco Pedicini
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1243996.1243997
linear logicparallel implementationfunctional programminggeometry of interactionoptimal reductionvirtual reduction
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Abstract machines, optimal reduction, and streams ⋮ Light logics and optimal reduction: completeness and complexity ⋮ Unnamed Item ⋮ Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach ⋮ PELCR
Uses Software
This page was built for publication: PELCR
