Generalised Simultaneous Inductive-Recursive Definitions and their Application to Programming in Type Theory
Rapport, 2002
Författare
Ana Bove
Chalmers, Institutionen för datavetenskap, Programmeringslogik
Ämneskategorier
Datavetenskap (datalogi)