págs. 769-770
Domain theory and differential calculus (functions of one variable)
A. Lieutier, A. Edalat
págs. 771-802
On the non-sequential nature of the interval-domain model of real-number computation
M. Hofmann, T. Streicher, M. Escardo
págs. 803-814
Domains, integration and `positive analysis'
J. D. Lawson
págs. 815-832
K. Martin
págs. 833-852
págs. 853-878
© 2008-2024 Fundación Dialnet · Todos los derechos reservados