Eager Functions as Processes

DOI10.1145/3209108.3209152zbMath1452.03044arXiv2112.02863OpenAlexW2794370785MaRDI QIDQ5145310

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.02863

zbMATH Keywords

full abstractionlambda-calculuspi-calculuscall-by-value

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

Eager functions as processes ⋮ Unnamed Item ⋮ Unique solutions of contractions, CCS, and their HOL formalisation

This page was built for publication: Eager Functions as Processes