A complete axiomatization of higher-order intuitionistic logic (2001)

by M E Coniglio, C Sernadas
Venue:CLE e-Prints