TT-closed relations and admissibility
M. Abadi
págs. 313-320
Parametric polymorphism and operational equivalence
A. M. Pitts
págs. 321-360
Decidability of fourth-order matching
V. Padovani
págs. 361-372
Category-based constraint logic
R. Diaconescu
págs. 373-407
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: