Interpreting the Second-Order Lambda Calculus using Qualitative Domains

DSpace/Manakin Repository

Interpreting the Second-Order Lambda Calculus using Qualitative Domains
 
Golov, A.M.
(2015) Faculty of Science Theses
(Bachelor thesis)
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.
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: lambda calculus, model theory
 
 
See more statistics about this item