Sökning: "Nicola Gambino"

Hittade 1 avhandling innehållade orden Nicola Gambino.

1. 1. Univalent Types, Sets and Multisets : Investigations in dependent type theory

   Författare :Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

   Sammanfattning : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. LÄS MER