A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy
From MaRDI portal
Publication:3000618
DOI10.1007/978-3-642-19805-2_22zbMath1326.68097OpenAlexW1542328151MaRDI QIDQ3000618
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
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