Venue. APAL Annals of Pure and Applied Logic · Journal · Elsevier 2008 On the unity of duality zeilberger-2008-onAPAL · 2008 DOI 2006 Remarks on isomorphisms in typed lambda calculi with empty and sum types fiore-2006-remarksAPAL · 2006 DOI