Programming Languages and Systems

DOI10.1007/11693024zbMATH Open1178.03040OpenAlexW2491912653MaRDI QIDQ5899010FDOQ5899010

Authors: 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

Recommendations

• Soundness and principal contexts for a shallow polymorphic type system based on classical logic
• Computation with classical sequents
• Programming and Proving with Classical Types
• scientific article; zbMATH DE number 1222431
• Intersection and union types for \(\mathcal{X}\)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Cited In (7)

• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
• Theoretical Computer Science
• Computation with classical sequents
• Effect polymorphism in higher-order logic (proof pearl)
• Polymorphic Abstract Syntax via Grothendieck Construction
• Soundness and principal contexts for a shallow polymorphic type system based on classical logic
• On the computational representation of classical logical connectives

This page was built for publication: Programming Languages and Systems

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