PL7 - CSE233/CSE300 1 Lambda Calculus

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
1 /Users/ldm/courses/Spring05_CSE300/lectures/PL9.sxi 1 CSE233/CSE300 Lambda Calculus
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 /Users/ldm/courses/Spring05_CSE300/lectures/PL9.sxi 2 Overview Computing with Lambda How to represent Booleans, Naturals Combinators I K S Recursion Y
Background image of page 2
3 /Users/ldm/courses/Spring05_CSE300/lectures/PL9.sxi 3 Lambda Calculus As a programming language We must be able to express Constants Booleans Naturals Elementary operations Successor Addition Multiplication We must be able to deal with recursion
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
4 /Users/ldm/courses/Spring05_CSE300/lectures/PL9.sxi 4 Booleans Hint Think about them as functions What are boolean used for ? Branching
Background image of page 4
5 /Users/ldm/courses/Spring05_CSE300/lectures/PL9.sxi 5 Naturals What we need A function to represent ZERO A function to get the successor of a natural n A function to get the predecessor of a natural n A function to test for ZERO Church numerals Zero: Е s. z.z λ One: Е s. z.s z λ Two: Е s. z.s (s z) λ Three: Е s. z.s (s (s z)) λ
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/11/2012 for the course DKFKDF dfdfd taught by Professor Dsfdsfdsf during the Spring '11 term at APU Japan.

Page1 / 20

PL7 - CSE233/CSE300 1 Lambda Calculus

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online