Duality in Logic and Computation | IEEE Conference Publication | IEEE Xplore