Modelling General Recursion in Type Theory
Artikel i vetenskaplig tidskrift, 2005
Författare
Ana Bove
Chalmers, Data- och informationsteknik, Datavetenskap
Venanzio Capretta
Mathematical Structures in Computer Science
Vol. 15 671--708-
Ämneskategorier
Data- och informationsvetenskap