G.: A Term Assignment for Dual Intuitionistic Logic (2005)

by Bellin
Venue:LICS’05-IMLA’05 Workshop