1 paper
Joseph Dorta, Samantha Jarvis, Nelson Niu
Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fal…