1. A bound variable or formal argument in a function definition is replaced by the actual argument when the function is applied. In the lambda abstraction
\ x . M
Better Than TripAdvisor
- Holiday destination reviews, hotel information,
pictures, sightseeing advice and food reviews.
Updated: Mon Aug 29 21:01:10 2016
No longer supported by Imperial College Department of Computing
Copyright Denis Howe 1985