Interpreting the Second-Order Lambda Calculus using Qualitative Domains

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.