Recursive Definitions in Type Theory.

Robert L. Constable N. P. Mendler

Published in: Logic of Programs (1985)

Keyphrases

theoretical framework
recursive algorithm
real time
database systems
information technology
artificial neural networks
multiple types
probability theory