The Interpretation of Formalized Implication
Bibliographic Data
| ID | 20141916 |
|---|---|
| Authors | Haskell B Curry (Pennsylvania State University, corresponding author) |
| Year | 1959 |
| Volume | 25 |
| Issue | 1 |
| Pages | 1-26 |
| Publication date | 1959-04-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/j.1755-2567.1959.tb00288.x |
| OpenAlex | W2035290478 |
| Language | EN |
| References cited | 16 |
Citation · Curry · Functional programming · Haskell · Interpretation (philosophy) · Library science · Linguistics · Parenthesis · Programming language · State (computer science) · Computer Science · Formal Methods in Verification · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Philosophy
| Citation velocity | historical |
|---|---|
| Highly cited | No |