che-chandler.de

Lambda Calculus

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

Lambda-Calculus and Combinators

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

Lambda Calculus with Types

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...

Semantics of the Probabilistic Typed Lambda Calculus

This book takes a foundational approach to the semantics of probabilistic programming. It elabora...

An Introduction to Functional Programming Through Lambda Calculus

Well-respected text for computer science students provides an accessible introduction to function...

A Simple Lambda-Calculus Model of Programming Languages

Whilst the greatest effort has been made to ensure the quality of this text, due to the historica...

Introduction to Lambda Calculus, An

This book provides a comprehensive introduction to Lambda Calculus

Functional Programming & Lambda Calculus

This book provides an introductory approach to Functional Programming & Lambda Calculus

Lambda Calculus with Types

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...

Parametric Lambda Calculus

The book contains a completely new presentation of classical results in the field of Lambda Calcu...

A++ and the Lambda Calculus

From Lambda Calculus to Cybersecurity Through Program Analysis

This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on...