Mario Román

Search

Search IconIcon to open search

The 2-Chu-Dialectica Construction and the Polycategory of Multivariable Adjunctions (Shulman, 2020)

Last updated Sep 8, 2023

#paper