Cover Image

Categorical combinators, sequential algorithms, and functional programming /

Show other versions (1)
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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xx, 403 pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references (pages 381-394) and indexes.
ISBN:9781461203179 (electronic bk.)
1461203171 (electronic bk.)