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

More information

Created

10/7/2017