ON THE FORMAL THEORY OF PSEUDOMONADS AND PSEUDODISTRIBUTIVE LAWS (2021)

First Author: Gambino Nicola
Attributed to:  Homotopy Type Theory: Programming and Verification funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Volume: 37

Parent Publication: THEORY AND APPLICATIONS OF CATEGORIES

ISSN: 1201-561X