The Logic of Proofs as a Foundation for Certifying Mobile Computation

DOI10.1007/978-3-540-92687-0_6zbMath1211.03048OpenAlexW1515702224MaRDI QIDQ3605521

Eduardo Bonelli, Federico Feller

Publication date: 24 February 2009

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0_6

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (5)

The Logic of Uncertain Justifications ⋮ The logic of uncertain justifications ⋮ Justification logic as a foundation for certifying mobile computation ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Justification logic as a foundation for certifying mobile computation
• MetaML and multi-stage programming with explicit annotations
• Explicit Provability and Constructive Semantics
• A judgmental reconstruction of modal logic
• The duality of computation
• A modal analysis of staged computation
• A Constructive Logic for Services and Information Flow in Computer Networks
• Programming Languages and Systems
• Computer Science Logic
• The Intensional Lambda Calculus
• Logical Mobility and Locality Types

This page was built for publication: The Logic of Proofs as a Foundation for Certifying Mobile Computation