ACHIM JUNG, KLAUS KEIMEL, MICHAEL HUTH
págs. 399-400
págs. 401-417
págs. 419-443
págs. 445-452
Premonoidal categories and notions of computation
JOHN POWER, EDMUND ROBINSON
págs. 453-468
A uniform approach to domain theory in realizability models
JOHN R. LONGLEY, Eduardo Paes Barreto Davel
págs. 469-505
A computational formalization for partial evaluation
JOHN HATCLIFF, OLIVIER DANVY
págs. 507-541
págs. 543-555
págs. 557-589
págs. 591-618
© 2001-2024 Fundación Dialnet · Todos los derechos reservados