Login / Signup
Typed Closure Conversion for the Calculus of Constructions.
William J. Bowman
Amal Ahmed
Published in:
CoRR (2018)
Keyphrases
</>
lambda calculus
higher order
database query languages
programming language
algebraic structure
computer algebra
strictly convex
automated deduction
decision making
expert systems
knowledge representation
formal language
provably correct
timed automata
fixed order