CENTRAL LIBRARY

Welcome to Online Public Access Catalogue (OPAC)

Amazon cover image
Image from Amazon.com

Combinatory logic [electronic resource] : pure, applied and typed / Katalin Bimb��

By: Material type: TextTextSeries: Discrete mathematics and its applicati | Discrete mathematics and its applicatioPublication details: Boca Raton : Taylor & Francis, 20Description: xi, 345 p. : iISBN:
  • 9781439800010 (ebook : PDF)
Subject(s): Genre/Form: Additional physical formats: No titleOnline resources: Available additional physical forms:
  • Also available in print editi
Contents:
1. Elements of combinatory logic -- 2. Main theorems -- 3. Recursive functions and arithmetic -- 4. Connections to ?-calculi -- 5. (In)equational combinatory logic -- 6. Models -- 7. Dual and symmetric combinatory logics -- 8. Applied combinatory logic -- 9. Typed combinatory log
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Includes bibliographical references (p. 321-330) and ind

1. Elements of combinatory logic -- 2. Main theorems -- 3. Recursive functions and arithmetic -- 4. Connections to ?-calculi -- 5. (In)equational combinatory logic -- 6. Models -- 7. Dual and symmetric combinatory logics -- 8. Applied combinatory logic -- 9. Typed combinatory log

Also available in print editi

Mode of access: World Wide W

There are no comments on this title.

to post a comment.

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh