Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Domains and lambda-calculi /

Amadio, Roberto M.,

Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien - 484 páginas

0521622778 (empastado, cubierta dura)


Cálculo lambda
Lenguajes de programación funcional

QA9.5 / A53

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad