Lambda

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

ISBN：9780691083940

...

The Calculi of Lambda Conversion AM 6 Annals of Mathematics Studies

The Lambda Calculus, Its Syntax and Semantics . Revised Edition

ISBN：9780444875082

The revised edition contains a new chapter which provides an elegant description of the semantics. ...

The Lambda Calculus Its Syntax and Semantics Revised Edition

An Introduction To Lambda Calculi For Computer Scientists

ISBN：9780954300654

The lambda-calculus lies at the very foundations of computer science. Besides its historical role i...

An Introduction To Lambda Calculi For Computer Scientists

Typed Lambda Calculi and Applications

ISBN：9783540419600

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda ...

Typed Lambda Calculi and Applications

Aristotle's Metaphysics Book Lambda

ISBN：9780198237648

A distinguished group of scholars of ancient philosophy here presents a systematic study of the twe...

Aristotle s Metaphysics Book Lambda

Lambda-Matrices and Vibrating Systems

ISBN：9780486425467

Features aspects and solutions of problems of linear vibrating systems with a finite number of degr...

Lambda Matrices and Vibrating Systems

Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)

ISBN：9783540255932

...

Typed Lambda Calculi and Applications 有类型 Lambda 演算及其应用会议录

LAMBDA表达式树导论INTRODUCTION TO LAMBDA TREES

ISBN：9789810243869

...

LAMBDA 表达式树导论 INTRODUCTION TO LAMBDA TREES

Lambda-calculus, Combinators and Functional Programming

ISBN：9780521345897

...

Lambda calculus Combinators and Functional Programming

Let Over Lambda

ISBN：9781435712751

Let Over Lambda is one of the most hardcore computer programming books out there. Starting with the...

Let Over Lambda

Lambda-calculus, Combinators and Functional Programming

ISBN：9780521114295

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators...

Lambda calculus Combinators and Functional Programming

Lambda Calculi

ISBN：9780198538400

...

Lambda Calculi

Typed Lambda Calculi and Applications

ISBN：9783540657637

...

Typed Lambda Calculi and Applications

Lambda-Calculus and Combinators

ISBN：9780521898850

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into l...

Lambda Calculus and Combinators

Typed Lambda Calculi and Applications

ISBN：9783540403326

The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applicatio...

Typed Lambda Calculi and Applications

On Lambda-nuclearity

ISBN：9780821818282

...

On Lambda nuclearity

Domains and Lambda-Calculi

ISBN：9780521062923

This book describes the mathematical aspects of the semantics of programming languages. The main go...

Domains and Lambda Calculi

Typed Lambda Calculi and Applications

ISBN：9783540626886

...

Typed Lambda Calculi and Applications