Interpreting the Second-Order Lambda Calculus using Qualitative Domains
Publication date
Authors
DOI
Document Type
Bachelor Thesis
Metadata
Show full item recordCollections
License
CC-BY-NC-ND
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.
Keywords
lambda calculus, model theory