"Conceptual Completeness for First-Order Intuitionistic Logic: An ..."

Andrew M. Pitts (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics