Sökning: "Ana Bove"
Hittade 2 avhandlingar innehållade orden Ana Bove.
1. General Recursion in Type Theory
Sammanfattning : 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. LÄS MER
2. Programming in Martin-Löf Type Theory: Unification - A non-trivial Example
Sammanfattning : .... LÄS MER
Resultatsidor:
1