A secondary semantics for Second Order Intuitionistic Propositional Logic.

Mauro Ferrari Camillo Fiorentini Guido Fiorino A secondary semantics for Second Order Intuitionistic Propositional Logic. 202-210 2004 50 Math. Log. Q. 2 http://dx.doi.org/10.1002/malq.200310090 db/journals/mlq/mlq50.html#FerrariFF04