On the Unity of Duality
(2008) : Zeilberger, Noam
DOI: https://doi.org/10.1016/j.apal.2008.01.001
#type_theory #curry_howard #polarity #polarized_logic #my_bibtex