Denotational Semantics of the Simplified Lambda-Mu Calculus and a New Deduction System of Classical Type Theory.

Published in: CL&C (2016)

Keyphrases

denotational semantics
computer algebra
programming language
type checking
probability theory
automated theorem proving
automated deduction
inference rules
databases
data structure
data model
general purpose
database management systems
proof procedure