dc.contributor.author | Polonsky, Andrew | eng |
dc.date.accessioned | 2012-02-28T12:34:55Z | |
dc.date.available | 2012-02-28T12:34:55Z | |
dc.date.issued | 2012-02-28 | eng |
dc.identifier.uri | https://hdl.handle.net/1956/5657 | |
dc.description | Datasets and source code for the doctoral thesis "Proofs, Types and Lambda Calculus" by Andrew Polonsky, defended 17.01.2011. | en |
dc.title | Proofs, Types and Lambda Calculus - datasets | en_US |
dc.type | Data set | |
dc.rights.holder | Copyright the author. All rights reserved | en_US |
dc.subject.nsi | VDP::Mathematics and natural science: 400::Information and communication science: 420 | en_US |