Particle-style geometry of interaction as a module system

DOI10.1007/978-3-030-02768-1_12MaRDI QIDQ6166146zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1533193
• scientific article; zbMATH DE number 4099289
• scientific article; zbMATH DE number 3855952
• scientific article; zbMATH DE number 1330835
• scientific article; zbMATH DE number 785046
• Publication:4204146
• Geometry of particle physics
• scientific article; zbMATH DE number 2107941
• A geometric model for extended particles
• Geometric algebra and particle dynamics

Cited in

(2)

• A modified GoI interpretation for a linear functional programming language and its adequacy
• Geometry of synthesis. IV: Compiling affine recursion into static hardware

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166146)