The lambda-mu-T-calculus

Herman Geuvers Robbert Krebbers James McKinna

Published in: CoRR (2012)

Keyphrases

lambda calculus
fixed point
formal language
computer algebra
relational calculus
decision making
web services
natural language
real numbers
automated deduction
algebraic structure