Avancerad sökning
Hittade 2 uppsatser som matchar ovanstående sökkriterier.
1. Formalizing domain models of the typed and the untyped lambda calculus in Agda
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : 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
2. Gleasons sats
Kandidat-uppsats, Göteborgs universitet/Institutionen för matematiska vetenskaperSammanfattning : 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