A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy

DOI10.1007/978-3-642-19805-2_22zbMath1326.68097OpenAlexW1542328151MaRDI QIDQ3000618

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

Mathematics Subject Classification ID

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

Related Items

Computation by interaction for space-bounded functional programming