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. show less