Transparent quantification into hyperintensional objectual attitudes

Call-by-name, call-by-value and the λ-calculus

Gordon Plotkin · Theoretical Computer Science · 1975 · 1.2K citations

Computing, Computer Science, Programming Languages +5

Quantifiers and Propositional Attitudes

W. V. Quine · The Journal of Philosophy · 1956 · 1.2K citations

Humanities, Behavioral Sciences, Logic +8

Introduction to Mathematical Logic.

Angelo Margaris, Alonzo Church · American Mathematical Monthly · 1957 · 935 citations

Humanities, Computer Science, Mathematics +15

Introduction to mathematical logic

Haskell B. Curry · Journal of the Franklin Institute · 1957 · 509 citations

Humanities, Mathematics, Formal Methods +11

Quantifying in

David M. Kaplan · Synthese · 1968 · 332 citations