| Record ID | ia:domaintheoreticf0000stre |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/domaintheoreticf0000stre/domaintheoreticf0000stre_marc.xml |
| Download MARC binary | https://www.archive.org/download/domaintheoreticf0000stre/domaintheoreticf0000stre_meta.mrc |
LEADER: 01096cam a22003137a 4500
001 2007298163
003 DLC
005 20070912085823.0
008 070712s2006 njua b 001 0 eng d
010 $a 2007298163
040 $aTEF$cTEF$dTEF$dBAKER$dYDXCP$dBTCTA$dNLGGC$dDLC
020 $a9812701427
020 $a9789812701428
035 $a(OCoLC)ocm82212913
035 $a(OCoLC)82212913
042 $alccopycat
050 00 $aQA76.7$b.S818 2006
082 04 $a005.13/1$222
084 $a54.51$2bcl
100 1 $aStreicher, Thomas,$d1958-
245 10 $aDomain-theoretic foundations of functional programming /$cThomas Streicher.
260 $aHackensack, NJ :$bWorld Scientific,$cc2006.
300 $ax, 120 p. :$bill. ;$c24 cm.
504 $aIncludes bibliographical references (p. 117-118) and index.
650 0 $aProgramming languages (Electronic computers)$xSemantics.
650 0 $aComputer science$xMathematics.
650 17 $aFunctionele programmering.$2gtt
650 17 $aDomein (wiskunde)$2gtt
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/toc/fy0715/2007298163.html