*0011402078 *008051108s2005 xx# 000 0 eng *019 $bk *100 $aKristiansen, Lars$uOslo University College, Faculty of Engineering, Oslo, Norway ; larskri@iu.hio.no$_49103400 *245 $aProgramming languages capturing complexity classes *300 $aS. [89]-115 *500 $aVitenskapelig artikkel *5208 $aInneholder sammendrag *653 $acomplexity classes$9eng$_158479000 *653 $acomputational complexity$9eng$_158479100 *653 $ahigher types$9eng$_158479200 *653 $aimperative and functional programming languages$9eng$_158479300 *653 $atyped [lambda]-calculi$9eng$_158479400 *700 $aVoda, Paul J.$uInstitute of Informatics, Comenius University Bratislava, Bratislava, Slovakia ; voda@fmph.uniba.sk$_158479500 *773 $tNordic journal of computing$gVol. 12, no. 2 (2005)$x1236-6064$w(NO-LaBS)69800(tnr) *999 $z500378584$anorart:500378584 ^