A theory of mixin modules: algebraic laws and reduction semantics
E. Zucca, D. Ancona
págs. 701-738
Topological and limit-space subcategories of countably-based equilogical spaces
M. Menni, A. Simpson
págs. 739-770
págs. 771-796
págs. 797-822
betaeta-complete models for System F
S. Berardi, C. Berline
págs. 823-874
págs. 875-903
© 2008-2024 Fundación Dialnet · Todos los derechos reservados