V.: A cube of proof systems for the intuitionistic predicate µ-, ν-logic (1997)

by T Uustalu, Vene
Venue:Department of Informatics, University of Oslo