A modified GoI interpretation for a linear functional programming language and its adequacy

DOI10.1007/978-3-642-19805-2_22zbMATH Open1326.68097OpenAlexW1542328151MaRDI QIDQ3000618FDOQ3000618

Naohiko Hoshino

Publication date: 19 May 2011

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_22

Recommendations

• A general adequacy result for a linear functional language
• Particle-style geometry of interaction as a module system
• From geometry of interaction to denotational semantics
• Towards a typed geometry of interaction
• Memoryful geometry of interaction: from coalgebraic components to algebraic effects

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Cited In (2)

• Computation by interaction for space-bounded functional programming
• Title not available (Why is that?)

This page was built for publication: A modified GoI interpretation for a linear functional programming language and its adequacy

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