On function definitions I : basic notions and primitive recursive function definitions
Licentiate thesis, 1990
Author
Daniel Fredholm
Department of Computer Sciences
Subject Categories (SSIF 2011)
Computer Science
ISBN
91-7032-542-1