A domain equation for refinement of partial systems
M. R. A. Huth, R. Jagadeesan, D. A. Schmidt
págs. 469-505
Proof systems for lattice theory
J. Von Plato, S. Negri
págs. 507-526
Towards a quantum programming language
P. Selinger
págs. 527-586
Operational aspects of untyped Normalisation by Evaluation
F. Joachimski, K. Aehlig
págs. 587-611
© 2008-2024 Fundación Dialnet · Todos los derechos reservados