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 added structure. LÄS MER

3. 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 elementary methods of analysis possible. Gleason’s theorem is an important theorem in the mathematical foundations of quantum mechanics. It characterizes measures on closed subspaces of separable Hilbert spaces of dimension at least 3. LÄS MER