Equational properties of mobile ambients
LUCA CARDELLI, ANDREW D. GORDON
págs. 371-408
Proof nets and explicit substitutions Using various translations of the $\l$-calculus into proof nets, new abstract machines have been proposed that exploit the Geometry of Interaction and Dynamic Algebras (Girard 1989; Abramsky and Jagadeesan 1992; Danos 1990), leading to work on optimal reduction (Gonthier et al. 1992; Lamping 1990)
DELIA KESNER, ROBERTO DI COSMO, EMMANUEL POLONOVSKI
págs. 409-450
A categorical framework for finite state machines
PETER HINES
págs. 451-480
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: