A TERM ASSIGNMENT FOR DUAL INTUITIONISTIC LOGIC.

by Gianluigi Bellin , Nicola Gambino , Maria Emilia Maietti , Kurt Ranalter , Edmund Robinson
Citations:7 - 4 self