Proofs, Types and Lambda Calculus - datasets
Data set
Permanent lenke
https://hdl.handle.net/1956/5657Utgivelsesdato
2012-02-28Metadata
Vis full innførselSamlinger
Beskrivelse
Datasets and source code for the doctoral thesis "Proofs, Types and Lambda Calculus" by Andrew Polonsky, defended 17.01.2011.