Some extensional term models for combinatory logics and [lambda]-calculi - Info and Reading Options
By H. P. Barendregt
“Some extensional term models for combinatory logics and [lambda]-calculi” Metadata:
- Title: ➤ Some extensional term models for combinatory logics and [lambda]-calculi
- Author: H. P. Barendregt
“Some extensional term models for combinatory logics and [lambda]-calculi” Subjects and Themes:
- Subjects: Combinatory logic - Recursive functions
Edition Identifiers:
- The Open Library ID: OL42188633W
AI-generated Review of “Some extensional term models for combinatory logics and [lambda]-calculi”:
Read “Some extensional term models for combinatory logics and [lambda]-calculi”:
Read “Some extensional term models for combinatory logics and [lambda]-calculi” by choosing from the options below.
Search for “Some extensional term models for combinatory logics and [lambda]-calculi” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Some extensional term models for combinatory logics and [lambda]-calculi” in Libraries Near You:
Read or borrow “Some extensional term models for combinatory logics and [lambda]-calculi” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Some extensional term models for combinatory logics and [lambda]-calculi” at a library near you.
Buy “Some extensional term models for combinatory logics and [lambda]-calculi” online:
Shop for “Some extensional term models for combinatory logics and [lambda]-calculi” on popular online marketplaces.
- Ebay: New and used books.