Lambda Calculus Lesson 5Programming Language
This content is provided by KOCW
-
- Category : Engineering > Engineering
- Taught by : Youngsup Kim
- Created By : Handong Global University
- Offered By : KOCW
- Date Added : 2016.12.26
- Hits : 427
- Keyword : successor function,python implementation,increment function,Lambda,church numerals
This lecture explains about Advanced Logic and Artithmetic in the Lambda Calculus
This work is licensed under a
Creative Commons
Attribution-NonCommercial 4.0
International License.
Add Bookmark
Report
Report this content
Ratings and ReviewsPlease login to write