Simple General Recursion in Type Theory.

Published in: Nord. J. Comput. (2001)

Keyphrases

special case
general theory
website
database
feature selection
computational models
information theory
mathematical theory