Search for dissertations about: "Nicola Gambino"
Found 1 swedish dissertation containing the words Nicola Gambino.
-
1. Univalent Types, Sets and Multisets : Investigations in dependent type theory
Abstract : 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. READ MORE
Result pages:
1