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

More information

Created

10/6/2017