You need to sign in or sign up before continuing.

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne by

Lecture Notes in Computer Science

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne

443 pages paperback

6 editions

nonfiction computer science mathematics informative reflective medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became theprototype for untyped functional programming languages. Operational and denotational semantics for the...

Show More

Community Reviews

Loading...

Content Warnings

Loading...