Navegar

Colección

Datos Estadísticas

Lista de

2000
687
Journal of Logic and Computation
1
"Relating the λσ- and λs-styles of explicit substitutions" (2000) Kamareddine, F.; Rìos, A. Journal of Logic and Computation. 10(3):349-380