Justification logic as a foundation for certifying mobile computation
type: Item
instance of: scholarly article
title: Justification logic as a foundation for certifying mobile computation
zbMATH Open document ID: 1271.03046
author: Eduardo Bonelli
author: Federico Feller
published in: Annals of Pure and Applied Logic
publication date: 2012-04-10T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 6022775
zbMATH Keywords: Curry-de Bruijn-Howard isomorphism
zbMATH Keywords: typed lambda calculus
zbMATH Keywords: mobile computation
zbMATH Keywords: justification logic
describes a project that uses: MiniML
MaRDI profile type: Publication
full work available at URL: j.apal.2011.09.007
OpenAlex ID: W1974142908
cites work: Logic of proofs
cites work: Q5692429
cites work: The Intensional Lambda Calculus
cites work: Justification Logic and History Based Computation
cites work: The Logic of Proofs as a Foundation for Certifying Mobile Computation
cites work: A Constructive Logic for Services and Information Flow in Computer Networks
cites work: The duality of computation
cites work: A judgmental reconstruction of modal logic
cites work: A modal analysis of staged computation
cites work: Q4474830
cites work: Programming Languages and Systems
cites work: Logical Mobility and Locality Types
cites work: Computer Science Logic
cites work: Types and programing languages
DOI: 10.1016/J.APAL.2011.09.007
description: scientific article; zbMATH DE number 6022775