• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
A Constructive Semantics Of The Lambda Calculus

A Constructive Semantics Of The Lambda Calculus

Paperback

General World HistoryProgramming

ISBN10: 1021513083
ISBN13: 9781021513083
Publisher: Legare Street Pr
Published: Jul 18 2023
Pages: 206
Weight: 0.65
Height: 0.44 Width: 6.14 Depth: 9.21
Language: English

This book is an introduction to the study of the lambda calculus. It explains how the lambda calculus can be used to define programming languages and to reason about their behavior. It is suitable for readers with a basic knowledge of discrete mathematics and computer science.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it.

1 different editions

Also available

Also from

Basu, Kalyan Shenkar

Also in

General World History