Vis enkel innførsel

dc.contributor.authorPolonsky, Andreweng
dc.date.accessioned2012-02-28T12:34:55Z
dc.date.available2012-02-28T12:34:55Z
dc.date.issued2012-02-28eng
dc.identifier.urihttps://hdl.handle.net/1956/5657
dc.descriptionDatasets and source code for the doctoral thesis "Proofs, Types and Lambda Calculus" by Andrew Polonsky, defended 17.01.2011.en
dc.titleProofs, Types and Lambda Calculus - datasetsen_US
dc.typeDataset
dc.rights.holderCopyright the author. All rights reserveden_US
dc.subject.nsiVDP::Mathematics and natural science: 400::Information and communication science: 420en_US


Tilhørende fil(er)

Thumbnail
Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel