Lambda Calculus, Types, and Functional Programming
Published in Cambridge University Press eBooks • Sep 23, 2010
Authors:,
Jan van Eijck
Christina Unger
Abstract
This chapter explains the basics of formal notation, lambda calculus, type theory, and functional programming.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!