B. Jacobs

• Categorical Logic And Type Theory