Lets Explore,
Cover of Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971: (Term Rewriting and Logic)

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971: (Term Rewriting and Logic)

(Paperback)

Henk Barendregt,

Independently Published (Publisher)

Published
2020
Reviews
0
Computing and Information TechnologyComputer science

Ships within 12-14 days

Free Shipping in India

Print on Demand

International Edition

₹1654.00
₹1776.00
7% off
1
This book is an extended version of the author's 1971 PhD thesis, containing a facsimile of the original and several extensions: motivation, hindsight and the making of. It is concerned with consistency of equating unsolvable terms and adding the omega-rule as strengthening of the principle of extensionality. The republication is put in context of the transition of lambda-calculus from an academic theory to a major foundation for fruitful aspects of logic, having an impact on mathematics and computer science and technology with a societal impact by securing correctness of complex systems.

More books by Henk Barendregt

Cover of The Lambda Calculus. Its Syntax and Semantics

The Lambda Calculus. Its Syntax and Semantics

Henk Barendregt

₹3330.0₹2643.06
Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt

₹11178.0₹10626.14
Cover of A Lambda Calculus Satellite

A Lambda Calculus Satellite

Henk Barendregt

₹4866.0₹4434.50
Cover of Types for Proofs and Programs

Types for Proofs and Programs

Tobias Nipkow

₹5771.0₹5655.58
Cover of The Dark Side of the Mirror

The Dark Side of the Mirror

David Brazier

₹2119.0₹1577.80
Cover of Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Henk Barendregt

₹1926.0₹1887.48
Cover of A Lambda Calculus Satellite

A Lambda Calculus Satellite

Henk Barendregt

₹2728.41₹2673.84
Cover of Popular Music in Southeast Asia

Popular Music in Southeast Asia

Henk Schulte Nordholt

₹0.0
Cover of Popular Music in Southeast Asia

Popular Music in Southeast Asia

Henk Schulte Nordholt

₹0.0
Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt

₹10714.26₹10392.83
Cover of Types for Proofs and Programs

Types for Proofs and Programs

Henk Barendregt

₹0.0
Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt

₹0.0
Cover of Popular Music in Southeast Asia

Popular Music in Southeast Asia

Henk Schulte Nordholt

₹0.0
Cover of The Dark Side of the Mirror

The Dark Side of the Mirror

David Brazier

₹1557.25₹1510.53
Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt

₹10080.0₹6727.70
Cover of Popular Music in Southeast Asia

Popular Music in Southeast Asia

Henk Schulte Nordholt

₹3035.25₹2793.65

Similar Products

Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt

₹11178.0₹10626.14
Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt

₹10080.0₹6727.70
Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt

₹10714.26₹10392.83
Cover of A Lambda Calculus Satellite

A Lambda Calculus Satellite

Henk Barendregt

₹2728.41₹2673.84
Cover of A Lambda Calculus Satellite

A Lambda Calculus Satellite

Henk Barendregt

₹4866.0₹4434.50
Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt

₹0.0
Cover of The Lambda Calculus. Its Syntax and Semantics

The Lambda Calculus. Its Syntax and Semantics

Henk Barendregt

₹3330.0₹2643.06
Cover of Lambda Calculi

Lambda Calculi

Chris Hankin

₹0.0
Vidya AI