Back to Results
First PageMeta Content
Mathematics / Software engineering / Theoretical computer science / Lambda calculus / De Bruijn index / Free variables and bound variables / Variable / Substitution / Term / Parameter / Closure / Expression


Noname manuscript No. (will be inserted by the editor) The Locally Nameless Representation Arthur CharguĀ“ eraud
Add to Reading List

Document Date: 2014-02-04 05:58:39


Open Document

File Size: 473,87 KB

Share Result on Facebook
UPDATE