T. Ehrhard
págs. 615-646
págs. 647-670
Modelling general recursion in type theory
V. Capretta, A. Bove
págs. 671-708
Categorical models for Abadi and Plotkin's logic for parametricity
R. E. Mogelberg, L. Birkedal
págs. 709-772
Abstract hierarchial graph transformation
H.-J. Kreowski, O. Busatto
págs. 773-819
© 2008-2024 Fundación Dialnet · Todos los derechos reservados