Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory.

Benedikt Ahrens Régis Spadotti

Published in: TYPES (2014)

Keyphrases

multiple types
semantic information
logical framework
theoretical framework
general theory
conceptual schema
theoretical basis
algebraic structure
speech acts
formal semantics
closed world assumption
proof theoretic
proof theory
databases
deductive databases
data integration
information systems