Substructural Type Systems for Program Analysis
From MaRDI portal
Publication:5458425
DOI10.1007/978-3-540-78969-7_3zbMath1137.68356OpenAlexW4242658509MaRDI QIDQ5458425
Publication date: 11 April 2008
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78969-7_3
Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)