×
  • Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
 

Lambda Calculus by Dustin Mulcahey

by on Oct 28, 2013

  • 821 views

This is a friendly Lambda Calculus Introduction by Dustin Mulcahey. LISP has its syntactic roots in a formal system called the lambda calculus. After a brief discussion of formal systems and logic in ...

This is a friendly Lambda Calculus Introduction by Dustin Mulcahey. LISP has its syntactic roots in a formal system called the lambda calculus. After a brief discussion of formal systems and logic in general, Dustin will dive in to the lambda calculus and make enough constructions to convince you that it really is capable of expressing anything that is "computable". Dustin then talks about the simply typed lambda calculus and the Curry-Howard-Lambek correspondence, which asserts that programs and mathematical proofs are "the same thing".

Statistics

Views

Total Views
821
Views on SlideShare
582
Embed Views
239

Actions

Likes
3
Downloads
31
Comments
0

10 Embeds 239

http://g33ktalk.com 113
http://www.hakkalabs.co 94
http://cloud.feedly.com 12
https://twitter.com 7
http://www.feedspot.com 3
http://www.newsblur.com 3
https://hakka.herokuapp.com 2
https://hakka-staging.herokuapp.com 2
http://newsblur.com 2
http://feedly.com 1
More...

Accessibility

Categories

Upload Details

Uploaded via SlideShare as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
Post Comment
Edit your comment

Lambda Calculus by Dustin Mulcahey Lambda Calculus by Dustin Mulcahey Presentation Transcript