Sökning: "David Lidell"

Hittade 2 uppsatser innehållade orden David Lidell.

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

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :David Lidell; [2020-12-17]
    Nyckelord :Agda; categories with families; domain interpretation; lambda calculus; sized types;

    Sammanfattning : 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 addedstructure. LÄS MER

  2. 2. Gleasons sats

    Kandidat-uppsats, Göteborgs universitet/Institutionen för matematiska vetenskaper

    Författare :David Lidell; Therese Karmstrand; Lorents Landgren; Johan Ulander; [2019-06-26]
    Nyckelord :;

    Sammanfattning : This paper aims to present Gleason’s theorem and a full proof, by the most elementarymethods of analysis possible. Gleason’s theorem is an important theorem in the mathematicalfoundations of quantum mechanics. It characterizes measures on closed subspacesof separable Hilbert spaces of dimension at least 3. LÄS MER