–
Room P3.10, Mathematics Building
Cristina Sernadas, Instituto Superior Técnico
Heterogenous fibring of deductive systems via abstract proof(conclusion)
Conclusion of the previous talk.
Heterogenous fibring of deductive systems via abstract proof(conclusion)
Conclusion of the previous talk.