On traced monoidal closed categories
Masahito Hasegawa
págs. 217-244
Correctness of high-level transformation systems relative to nested conditions
Annegret Habel, Karl-Heinz Pennemann
págs. 245-296
On a measurement-free quantum lambda calculus with classical control
Ugo dal Lago, Andrea Masini, Margherita Zorzi
págs. 297-335
The space of formal balls and models of quasi-metric spaces
M. Ali-Akbari, B. Honari, M. Pourmahdian, M. M. Rezaii
págs. 337-355
Boolean and classical restriction categories
Robin Cockett, Ernie Manes
págs. 357-416
Three extensional models of type theory
Benno van den Berg
págs. 417-434
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: