Introduction to Higher Order Categorical Logic.

• 1 September 1989
• journal article
• Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
• Vol. 54  (3) , 1113
• https://doi.org/10.2307/2274784

Abstract

Keywords

• INTRODUCTION TO HIGHER
• HIGHER ORDER
• ORDER CATEGORICAL LOGIC