Type theory and functional programming
Simon Thompson.
Wokingham, England : Addison-Wesley, ©1991.
xv, 372 págs. ; 24 cm.
Serie: International computer science series
ISBN: 0201416670
Texto completo disponible en la Web.
Incluye referencias bibliográficas (p. 347-357) e índice.