Categorical combinators, sequential algorithms, and functional programming /

Bibliographic Details

Main Author:	Curien, P.-L. (Pierre-Louis)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston : Birkhäuser, [1993]
Edition:	2nd ed.
Series:	Progress in theoretical computer science.
Subjects:	Formal languages. Kategorientheorie. Funktionale Programmiersprache. Lambda-Kalkül. Electronic books.
Online Access:	Connect to the full text of this electronic book