Memoryful geometry of Interaction II: recursion and adequacy
From MaRDI portal
Publication:2828318
DOI10.1145/2837614.2837672zbMath1347.68214OpenAlexW2296385359MaRDI QIDQ2828318
Koko Muroya, Naohiko Hoshino, Ichiro Hasuo
Publication date: 24 October 2016
Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2837614.2837672
Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items