Search for dissertations about: "Ana Bove"
Found 2 swedish dissertations containing the words Ana Bove.
-
1. General Recursion in Type Theory
Abstract : This thesis deals with the use of constructive type theory as a programming language. In particular, it presents a method to translate general recursive functional programs into their type-theoretic equivalents. A key notion in functional programming is recursion, which allows that the object being defined refers to itself. READ MORE
-
2. Programming in Martin-Löf Type Theory: Unification - A non-trivial Example
Abstract : .... READ MORE
Result pages:
1