Noam Zeilberger

Latest

• Bifibrations of polycategories and classical linear logic