Reflective Semantics of Constructive Type Theory: Preliminary Report.

Published in: Constructivity in Computer Science (1991)

Keyphrases

formal semantics
general theory
theoretical framework
theoretical basis
closed world assumption
proof theory
type checking
conceptual model
information theory
database
logic programming
speech acts
domain knowledge
formal theory
neural network
algebraic structure
databases
abstract argumentation
real time