Den 5/1-2026 kommer GUPEA att vara otillgängligt för alla under hela dagen.
Browsing Masteruppsatser by Subject "categories with families"
Now showing items 1-1 of 1
-
Formalizing domain models of the typed and the untyped lambda calculus in Agda
(2020-12-17)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. Specifically, for the simply ...