Copenhagen Programming Language Seminar
I will introduce semantic TT-lifting, a method to give predicate
liftings of strong monads. I first illustrate the definition of the
TT-lifting in Sets with several examples, and show that it is suitable
for extending logical predicates to Moggi's computational
Scientific host:Rasmus Møgelberg
All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org