Justification logic as a foundation for certifying mobile computation
DOI10.1016/J.APAL.2011.09.007zbMATH Open1271.03046OpenAlexW1974142908MaRDI QIDQ408548FDOQ408548
Authors: Eduardo Bonelli, Federico Feller 
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
Recommendations
Theory of programming languages (68N15) Logics of knowledge and belief (including belief change) (03B42) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)
Cites Work
- A judgmental reconstruction of modal logic
- Logic of proofs
- A modal analysis of staged computation
- Justification logic and history based computation
- The Intensional Lambda Calculus
- Title not available (Why is that?)
- Types and programing languages
- The duality of computation
- The Logic of Proofs as a Foundation for Certifying Mobile Computation
- Title not available (Why is that?)
- A Constructive Logic for Services and Information Flow in Computer Networks
- Programming Languages and Systems
- Computer Science Logic
- Logical Mobility and Locality Types
Cited In (4)
Uses Software
This page was built for publication: Justification logic as a foundation for certifying mobile computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q408548)
