–
Room P3.10, Mathematics Building
Claudio Hermida, Instituto Superior Técnico
Fibrational relational polymorphism - Part II
Conclusion of the previous talk.
Fibrational relational polymorphism - Part II
Conclusion of the previous talk.