Home / Books / Computers & Internet / Lambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their Applications)

Lambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their Applications) by J. L. Krivine

Lambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their Applications)

J. L. Krivine

180 pages

Ellis Horwood Ltd

Jan 1993

Hardcover

Computers & Internet WSBN

0

Readers

0

Reviews

0

Discussions

0

Quotes

This introduction to lambda-calculus looks at aspects of the combinatory logic, models, and type streams, showing how they interlink and underpin computer science.

Add to My Library Buy on Amazon Find in Library

Join the conversation

No discussions yet. Join BookLovers to start a discussion about this book!

No reviews yet. Join BookLovers to write the first review!

No quotes shared yet. Join BookLovers to share your favorite quotes!

Earn Points

Your voice matters. Every comment, review, and quote earns you reward points redeemable for Bitcoin.

Comment +5 pts Review +20 pts Quote +7 pts Upvote +1 pt

Find books similar to this one

About this book

Pages 180

Publisher Ellis Horwood Ltd

Published 1993

Readers 0

Similar Books in Computers & Internet

View All Similar

Fallout 4 Vault Dweller's Survival Guide Collector's Edition: Prima Official Game Guide by David Hodgson

Fallout 4 Vault Dweller's Survival Guide Collector's Edition: Prima Official Game Guide

Fallout 4 Ultimate Vault Dweller's Survival Guide Bundle by David Hodgson

Fallout 4 Ultimate Vault Dweller's Survival Guide Bundle

#AskGaryVee: One Entrepreneur's Take on Leadership, Social Media, and Self-Awareness by by Gary Vaynerchuk

#AskGaryVee: One Entrepreneur's Take on Leadership, Social Media, and Self-Awareness

by Gary Vaynerchuk

The Hundred-Page Machine Learning Book by Andriy Burkov

The Hundred-Page Machine Learning Book

Instant Access Databases by Greg Buczek

Instant Access Databases

Typographics 3: Global Vision by Roger Walton

Typographics 3: Global Vision