A Complete Axiomatization of Higher-Order Intuitionistic Logic (2001)

by Marcelo E. Coniglio , Cristina Sernadas
Venue:CLE e-Prints
Citations:2 - 2 self