Document Versions

Categorical Logic –Andrew M. Pitts — 1995 — A CHAPTER IN THE FORTHCOMING VOLUME VI OF HANDBOOK OF LOGIC IN COMPUTER SCIENCE
Evaluation Logic –Andrew M. Pitts — 1991
Evaluation Logic –Andrew Pitts — 1990
Categorical Logic –Andrew M. Pitts — 1995