Essays about: "David Lidell"

Found 1 essay containing the words David Lidell.

  1. 1. Formalizing domain models of the typed and the untyped lambda calculus in Agda

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : David Lidell; [2020-12-17]
    Keywords : Agda; categories with families; domain interpretation; lambda calculus; sized types;

    Abstract : We present a domain interpretation of the simply typed and the untyped lambda calculus. The interpretations are constructed using the notion of category with families, with added structure. READ MORE