Logic/Category Theory

On the Analogy Between Propositions and Types

Thierry Coquand (incollection, 1990)

Combinatory Logic

Haskell B. Curry and Robert Feys (book, 1974)

A profile of mathematical logic

Howard Delong (book, 1970)

A categorical semantics for qualified types

Benedict R. Gaster (misc, 1998)

A Categorical Manifesto

Joseph A. Goguen (article, 1989)

An introduction to category theory, category theory monads, and their relationship to functional programming

Hill, Jonathan M. D. and Clarke, Keith (techreport, 1994)

Computational lambda-calculus and monads

Moggi, E (inproceedings, 1989)

An Abstract View of Programming Languages

Moggi, E. (TechReport, 1989)