Proofs, types, and Lambda calculus

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	[Bergen] : University of Bergen , 2012
Omfang	175 s.
Opplysninger	Årstall på tittelsiden: 2010. - Avhandling (ph.d.) - Universitetet i Bergen, 2012
Emner	informatikk logikk lambdakalkyle
Dewey	511.3
ISBN	9788230819463

Biblioteksøk