Justification Logic as a foundation for certifying mobile computation

We explore an intuitionistic fragment of Artëmov's Justification Logic as a type system for a programming language for mobile units. Such units consist of both a code and a certificate component. Our language, the Certifying Mobile Calculus, caters for code and certificate development in a unif...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bonelli, Eduardo, Feller, Federico
Formato: Articulo
Lenguaje:Inglés
Publicado: 2012
Materias:
Ciencias Informáticas
Curry-de Bruijn-Howard isomorphism
Justification Logic
Mobile computation
Typed lambda calculus
Lógica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/84399
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares