On function definitions I : basic notions and primitive recursive function definitions
Licentiatavhandling, 1990
Författare
Daniel Fredholm
Institutionen för informationsbehandling
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
ISBN
91-7032-542-1