Programming in Martin-Löf Type Theory: Unification - A non-trivial Example
Licentiate thesis, 1999
Author
Ana Bove
Department of Computer Science
Subject Categories
Computer Science