Mutual General Recursion in Type Theory
Rapport, 2002
Författare
Ana Bove
Chalmers, Institutionen för datavetenskap, Programmeringslogik
Ämneskategorier
Datavetenskap (datalogi)