*001870654
*00520210408110831.0
*007ta
*008130430s2012    no#           000 0 eng
*00900944cam a2200313 c 4500
*015  $a1217189$2nbf
*019  $bl
*020  $a9788230819463$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)991212170004702201
*035  $a(NO-LaBS)14825153(bibid)
*035  $a(NO-TrBIB)121217000
*035  $a121217000-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*08204$a511.3$qNoBeU$222
*08274$a511.3$qNO-OsNB$25/nor
*1001 $aPolonsky, Andrew$d1984-$0(NO-TrBIB)12025462$_112816000
*24510$aProofs, types, and Lambda calculus$cAndrew Polonsky
*260  $a[Bergen]$bUniversity of Bergen$c2012
*300  $a175 s.
*500  $aÅrstall på tittelsiden: 2010
*502  $aAvhandling (ph.d.) - Universitetet i Bergen, 2012
*653  $ainformatikk$alogikk$alambdakalkyle$_112816100
*7102 $aUniversitetet i Bergen$0(NO-TrBIB)90063607$4dgg$_10049500
*901  $a90
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:991212170004702202$b2021-12-08T03:25:35Z$z991212170004702202
^