Justification logic as a foundation for certifying mobile computation

DOI10.1016/j.apal.2011.09.007zbMath1271.03046OpenAlexW1974142908MaRDI QIDQ408548

Federico Feller, Eduardo Bonelli

Publication date: 10 April 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.09.007

zbMATH Keywords

typed lambda calculusjustification logicCurry-de Bruijn-Howard isomorphismmobile computation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Intuitionistic hypothetical logic of proofs ⋮ Hypothetical logic of proofs ⋮ The Logic of Proofs as a Foundation for Certifying Mobile Computation

Uses Software

• MiniML

Cites Work

• Logic of proofs
• A judgmental reconstruction of modal logic
• The duality of computation
• A modal analysis of staged computation
• Justification Logic and History Based Computation
• The Logic of Proofs as a Foundation for Certifying Mobile 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Justification logic as a foundation for certifying mobile computation