Modelling General Recursion in Type Theory
Journal article, 2005
Author
Ana Bove
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Venanzio Capretta
Mathematical Structures in Computer Science
Vol. 15 671--708-
Subject Categories
Computer and Information Science