Antifounded Coinduction in Type Theory.

Published in: PAR@ITP (2010)

Keyphrases

theoretical framework
theoretical basis
general theory
artificial intelligence
data sets
website
search algorithm
theoretical foundation