The Carnegie Pulseabout the carnegie pulse | advertise | contact | subscriptions | join 
newsart & cultureopinionseventscourse schedule

My schedule
Most popular
View departments
View locations
View times

Find course by title:




 

21-805 Lambda Calculus


Units:12.0
Department:Mathematical Sciences
Related URLs:http://www.math.cmu.edu

This is a course in classical lambda calculus with special emphasis on syntax. Topics covered include the Church-Rosser theorem, standardization, cofinal reduction strategies, lambda definability of number theoretic functions, combinators, Bohm's theorem, labelled reduction, and types.

  Popularity index
Rank for this semester:#0
Rank in this department:#0

  Students also scheduled
15-395 Special Topic: System-Level Softwar...
15-355 Special Topic: Modern Computer Alge...
21-356 Principles of Real Analysis II
15-812 Semantics of Programming Languages
80-413 Category Theory
79-216 Music and the Counter Culture in th...
21-484 Graph Theory
76-227 Comedy
21-373 Algebraic Structures
82-222 Intermediate German II

  Spring 2005 times


No sections available for semester Spring 2005.



talkback to the pulse
No comments about this course have been posted, yet. Be the first to post!
Share your opinion on this course with other Pulse readers. Login below or register to begin posting.

Email address:
Password:







  (c) Copyright 2004 The Carnegie Pulse, Carnegie Mellon's first exclusively online student-run news source. campus mirror | RSS