Weighted Relational Models of Typed Lambda-Calculi
DOI10.1109/LICS.2013.36zbMath1366.03171OpenAlexW2079873887MaRDI QIDQ5271067
Giulio Manzonetto, Guy McCusker, Michele Pagani, Jim Laird
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2013.36
Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40) Enriched categories (over closed or monoidal categories) (18D20) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (21)
This page was built for publication: Weighted Relational Models of Typed Lambda-Calculi