| Record ID | marc_loc_2016/BooksAll.2016.part22.utf8:148307702:806 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part22.utf8:148307702:806?format=raw |
LEADER: 00806pam a2200241 a 4500
001 93000281
003 DLC
005 19930405084607.1
008 930125s1993 mau b 001 0 eng
010 $a 93000281
020 $a0817636544 (Boston : acid-free)
020 $a3764336544 (Basel : acid-free)
040 $aDLC$cDLC$dDLC
050 00 $aQA267.3$b.C87 1993
082 00 $a005.13/1$220
100 1 $aCurien, P.-L.$q(Pierre-Louis)
245 10 $aCategorical combinators, sequential algorithms, and functional programming /$cPierre-Louis Curien.
250 $a2nd ed.
260 $aBoston :$bBirkhäuser,$cc1993.
300 $axx, 403 p. ;$c25 cm.
440 0 $aProgress in theoretical computer science
504 $aIncludes bibliographical references (p. 381-394) and indexes.
650 0 $aFormal languages.