Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic

1986