[Alta-Logic] peripatetic seminar today (Friday, April 7)

[Jonathan Gallagher]

JS Lemay is giving a practice thesis defense seminar, and also a
research talk.

Location ICT 616 at 12:15 pm
Title: Deriving transformations for bialgebra modalities
Abstract: For a bialgebra modality, deriving transformations which satisfy
the nabla-rule are induced by codereliction maps. The problem is: not all
deriving transformations satisfy the nabla-rule. In this talk, we will show
that for an additive bialgebra modality, all deriving transformation
satisfy the nabla rule.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20170407/0f7132e4/attachment.html