DMCA

Categorical Logic (1995)

by Andrew M. Pitts
Venue: A CHAPTER IN THE FORTHCOMING VOLUME VI OF HANDBOOK OF LOGIC IN COMPUTER SCIENCE
Citations:112 - 2 self