"Some extensional term models for combinatory logics and [lambda]-calculi" - Information and Links:

Some extensional term models for combinatory logics and [lambda]-calculi - Info and Reading Options


“Some extensional term models for combinatory logics and [lambda]-calculi” Metadata:

  • Title: ➤  Some extensional term models for combinatory logics and [lambda]-calculi
  • Author:

“Some extensional term models for combinatory logics and [lambda]-calculi” Subjects and Themes:

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.

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.