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" was published in 1971 - ne, it has 140 pages and the language of the book is English.
“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
- Language: English
- Number of Pages: 140
- Publish Date: 1971
- Publish Location: ne
“Some extensional term models for combinatory logics and [lambda]-calculi” Subjects and Themes:
- Subjects: Combinatory logic - Recursive functions
Edition Specifications:
- Pagination: 2 v. (140 p., 18 leaves)
Edition Identifiers:
- The Open Library ID: OL57237719M - OL42188633W
- Online Computer Library Center (OCLC) ID: 62063743
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.