From parametric polymorphism to models of polymorphic FPC
Rasmus Ejlers Mogelberg
págs. 639-686
Two-dimensional models of type theory
Richard Garner
págs. 687-736
Automata theory based on unsharp quantum logic
Yun Shang, Lu Xian, Ruqian Lu
págs. 737-756
The Dedekind reals in abstract Stone duality
Andrej Bauer, Paul Taylor
págs. 757-838
A type system for Discretionary Access Control
Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio
págs. 839-875
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: