BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logical Foundations of Functional Programming

Logical Foundations of Functional Programming

Click to view full size.

Logical Foundations of Functional Programming:  (UT Year of Programming Series) Hardback - 1990

by Gerard Huet, Editor

Add to wish list
  • Used
  • Hardback
  • first
Used - Near Fine to Fine. Clean, sharp first‑edition copy with tight binding and unmarked text. Boards and spine show minimal handlin

Description

Logical Foundations of Functional Programming

Edited by Gérard Huet UT Year of Programming Series Addison‑Wesley Publishing Company, First Edition, 1990 Language: English ISBN 10: 0201172348 ISBN 13: 9780201172348

Book Description

A collected volume presenting foundational research in the theory of functional programming, with contributions addressing typed lambda calculi, rewriting systems, program transformation, semantics, and the logical underpinnings of functional languages. Edited by Gérard Huet, the volume reflects the state of the field at a formative moment when functional programming was transitioning from theoretical frameworks to practical language design. The book is part of the Hassan Aït‑Kaci archive, aligning closely with his work in unification theory, typed calculi, and the logical structure of programming languages.

Ask the seller a question Add to wish list
A$582.02
A$14.59 Delivery to USA
Standard delivery: 6 to 12 days
More delivery options
Ships from Robert McLean (British Columbia, Canada)

Details

About Robert McLean British Columbia, Canada

Biblio member since 2025

I have a large collection of books with strength in computer programming and mathematics.

Terms of Sale:

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Robert McLean

Reader reviews for Logical Foundations of Functional Programming

tracking-