Artículos -

Navegar

Últimos Documentos Autor FCEN - Año Autor FCEN - Revista Año - Revista Revista - Año SubjectPcEn Colores Type

Colección

Lista de

2009

1185

Journal of Functional Programming

"The -λ Calculus with constructors: Syntax, confluence and separation" (2009) Arbiser, A.; Miquel, A.; Ros, A. Journal of Functional Programming. 19(5):581-631

Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400