Essays about: "David Lidell"
Found 1 essay containing the words David Lidell.
-
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 informationsteknikAbstract : 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
Result pages:
1