Back to Results
First PageMeta Content
Lambda calculus / Variables / Predicate logic / Data types / Free variables and bound variables / Function / Combinatory logic / Mathematics / Software engineering / Elementary mathematics


The Arbitrariness of Variable Names Are the following two programs equavalent? (define (f x) (+ x 1)) (fdefine (f y) (+ y 1))
Add to Reading List

Document Date: 2009-02-04 16:35:18


Open Document

File Size: 16,30 KB

Share Result on Facebook

Company

Local Functions / /

SocialTag