Browse Dept. of Computer Science by Subject "Lambda Calculus"
Now showing items 1-1 of 1
(2011-01-14)We develop a theory of syntax with bindings, focusing on: - methodological issues concerning the convenient representation of syntax; - techniques for recursive definitions and inductive reasoning. Our approach ...