Proofs, Types and Lambda Calculus - datasets

Polonsky, Andrew
Data set
Thumbnail
View/Open
URI
https://hdl.handle.net/1956/5657
Date
2012-02-28
Metadata
Show full item record
Collections
Description
Datasets and source code for the doctoral thesis "Proofs, Types and Lambda Calculus" by Andrew Polonsky, defended 17.01.2011.
Copyright
Copyright the author. All rights reserved