| Record ID | ia:parametriclambda0000ronc |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/parametriclambda0000ronc/parametriclambda0000ronc_marc.xml |
| Download MARC binary | https://www.archive.org/download/parametriclambda0000ronc/parametriclambda0000ronc_meta.mrc |
LEADER: 01139pam 22003254a 4500
001 9920492860001661
005 20150423130313.0
008 031124s2004 nyua b 001 0 eng
010 $a 2003069100
015 $aGBA4-Z2492
020 $a3540200320 (acid-free paper)
035 $a(CSdNU)u232843-01national_inst
035 $a(OCoLC)53839958
035 $a(OCoLC)53839958
040 $aDLC$cDLC$dUKM
042 $apcc
049 $aCNUM
050 00 $aQA9.5$b.R66 2004
082 00 $a511.3/5$222
100 1 $aRonchi Della Rocca, S.$q(Simona)
245 14 $aThe parametric lambda calculus :$ba meta-model for computation / $cSimona Ronchi Della Rocca, Luca Paolini.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc2004.
300 $axiii, 252 p. :$bill. ;$c24 cm.
440 0 $aTexts in theoretical computer science
504 $aIncludes bibliographical references (p. [241]-246) and index.
650 0 $aLambda calculus.
700 1 $aPaolini, Luca,$d1970-
949 $aQA 9.5 .R66 2004$i31786101862883
994 $a92$bCNU
999 $aQA 9.5 .R66 2004$wLC$c1$i31786101862883$lCIRCSTACKS$mNULS$rY$sY$tBOOK $u12/15/2004