Programming Languages and Systems
From MaRDI portal
Publication:5899010
DOI10.1007/11693024zbMath1178.03040OpenAlexW2491912653MaRDI QIDQ5899010
Alexander J. Summers, Steffen van Bakel
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) ⋮ On the Computational Representation of Classical Logical Connectives
This page was built for publication: Programming Languages and Systems
