Type Theory based on Dependent Inductive and Coinductive Types.

Henning Basold Herman Geuvers

Published in: LICS (2016)

Keyphrases

multiple types
theoretical basis
deductive reasoning
multiscale
theoretical framework
inductive learning
general theory
data structure
digital libraries
computational model
theoretical foundation