A Set Constructor for Inductive Sets in Martin-Löf's Type Theory.

Kent Petersson Dan Synek

Published in: Category Theory and Computer Science (1989)

Keyphrases

artificial intelligence
website
small number
definite clause
data sets
image processing
logic programs
belief functions
inductive inference
general theory