Control categories and duality: on the categorical semantics of the lambda-mu calculus
P. Selinger
págs. 207-260
Implicit exchange in multiplicative proofnets
F. Metayer
págs. 261-272
Mu-depth 3 is more than 2: a game-theoretic proof
G. Lenzi
págs. 273-297
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: