Report - Free-Algebra Models for the Pi-Calculushomepages.inf.ed.ac.uk/stark/freamp-qmul-slides.pdf · forgetful Set In fact (U–F) is ﬁnite powerset and the adjunction is monadic: ND(Set)

Please pass captcha verification before submit form