Interpreting the Second-Order Lambda Calculus using Qualitative Domains

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Oosten, Dr. J. van
dc.contributor.author	Golov, A.M.
dc.date.accessioned	2015-08-26T17:00:32Z
dc.date.available	2015-08-26T17:00:32Z
dc.date.issued	2015
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/21297
dc.description.abstract	We demonstrate how the qualitative domain model for the second-order lambda calculus given by Girard can be formulated in terms of a PL-Category as described by Seely.
dc.description.sponsorship	Utrecht University
dc.format.extent	470459
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.title	Interpreting the Second-Order Lambda Calculus using Qualitative Domains
dc.type.content	Bachelor Thesis
dc.rights.accessrights	Open Access
dc.subject.keywords	lambda calculus, model theory
dc.subject.courseuu	Wiskunde