A cube of proof systems for the intuitionistic predicate ; -logic (1996)

by T Uustalu, V Vene
Venue:Dept of Informatics, Univ of Oslo