Particle-style geometry of interaction as a module system

DOI10.1007/978-3-030-02768-1_12zbMath1519.68051OpenAlexW2896323754MaRDI QIDQ6166146

Ulrich Schöpp

Publication date: 2 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-02768-1_12

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

This page was built for publication: Particle-style geometry of interaction as a module system