The Linear Logical Abstract Machine
We derive an abstract machine from the Curry-Howard correspondence with a sequent calculus presentation of Intuitionistic Propositional Linear Logic. The states of the register based abstract machine comprise a low-level code block, a register bank and a dump holding suspended procedure activations....
Guardado en:
| Autor principal: | Bonelli, Eduardo |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2006
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/83098 |
| Aporte de: |
Ejemplares similares
-
The first-order hypothetical logic of proofs
por: Steren, G., et al. -
Justification Logic as a foundation for certifying mobile computation
por: Bonelli, Eduardo, et al.
Publicado: (2012) -
The first-order hypothetical logic of proofs
Publicado: (2017) -
Dos temas en reescritura : combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas
por: Steren, Gabriela
Publicado: (2014) -
Dos temas en reescritura : combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas
por: Steren, Gabriela
Publicado: (2014)