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