Record ID | marc_loc_2016/BooksAll.2016.part16.utf8:100588301:763 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part16.utf8:100588301:763?format=raw |
LEADER: 00763pam a2200229 a 4500
001 85031472
003 DLC
005 19861103000000.0
008 851230s1986 enk b 00110 eng
010 $a 85031472
020 $a0470202904 (pbk.)
050 0 $aQA267.3$b.C87 1986
082 0 $a511.3$219
100 10 $aCurien, P.-L.$q(Pierre-Louis)
245 10 $aCategorical combinators, sequential algorithms, and functional programming /$cP.-L. Curien.
260 0 $aLondon :$bPitman ;$aNew York :$bWiley,$c1986.
300 $a300 p. ;$c25 cm.
440 0 $aResearch notes in theoretical computer science
500 $aOutgrowth of author's "Thèse de Doctorat d'Etat."
504 $aBibliography: p. 285-292.
500 $aIncludes indexes.
650 0 $aFormal languages.