Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
LEHR-UND FORSCHUNGSGEBIET INFORMATIK II RWTH Aachen D-52056 Aachen GERMANY
 

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 ! 

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences