Logical Relations and Inductive/Coinductive Types.

Thorsten Altenkirch

Published in: CSL (1998)

Keyphrases

logical structure
machine learning
image sequences
multi agent
pairwise
truth values
information retrieval
artificial intelligence
information systems
database systems
semantic relations
inductive inference
logical representation