Elements of Categorical Logic: 50 Years Later" (with Valeria de Paiva)

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)265-273
JournalLogica Universalis
Volume7
StatePublished - 2013

Cite this