Computer Science Logic

DOI10.1007/11538363zbMath1136.68443OpenAlexW2479351976MaRDI QIDQ5394569

Robert Harper, Karl Crary, Tom Vii Murphy

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11538363

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Justification logic as a foundation for certifying mobile computation ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Dualized Simple Type Theory ⋮ A static simulation of dynamic delimited control ⋮ The Logic of Proofs as a Foundation for Certifying Mobile Computation ⋮ Automatically Splitting a Two-Stage Lambda Calculus ⋮ Cut-free Gentzen calculus for multimodal CK

Uses Software

• Twelf

This page was built for publication: Computer Science Logic