| | |
Summary: RHEINISCH-
WESTF
ALISCHE
TECHNISCHE
HOCHSCHULE
AACHEN
LEHR- UND FORSCHUNGSGEBIET INFORMATIK II
RWTH Aachen D-52056 Aachen GERMANY
http://www-i2.informatik.rwth-aachen.de/lufgi2
LuFG
Informatik II
Prof. Dr. J urgen Giesl
Rene Thiemann
Exercises Functional Programming { Sheet 13
Solutions will be collected until Thursday, Jan 30, 2003 in the exercise course.
Exercise 1 ( (2+2+1) + (2+5 ) + 2 points)
The representation of natural numbers and boolean values in the pure lambda calculus were
given in the lecture.
Give translations of the constants plus, times, and not into pure lambda terms such that
8n; m 2 IN : plus n m !
|
