Work

To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism

Year: 1980

Type: book

Source: Academic Press eBooks

Authors: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4861723

FWCI: 18.51

Cites:

Cited by: 923

Related to: 5