Aspects of higher order categorical logic

• 1 January 1984
• other
• Published by American Mathematical Society (AMS)
• Vol. 30, 145-174
• https://doi.org/10.1090/conm/030/749773

Abstract