Realizability: a historical essay
J. Van Oosten
págs. 239-263
A. M. Pitts
págs. 265-279
págs. 281-294
págs. 295-317
Local realizability toposes and a modal logic for computability
L. Birkedal, D. S. Scott, S. Awodey
págs. 319-334
Impredicativity entails untypedness
T. Streiche, P. Lietz
págs. 335-347
© 2008-2024 Fundación Dialnet · Todos los derechos reservados