Computational lambda-calculus and monads
Ediciones (1)
- Computational lambda-calculus and monads. (1988)
University of Edinburgh, Laboratory for Foundations ofComputer Science · inglés
University of Edinburgh, Laboratory for Foundations ofComputer Science · inglés
