Bernhard Banaschewski (McMaster University, Canada) |
On the representation of archimedean f-rings: extended versus pointfree functions
|
2009-07-21 |
Björn Gohla (U. Porto) |
A mapping space for Gray-categories
|
2011-01-25 |
Bob Coecke (Free University of Brussels, Belgium) |
Quantum logic: Overview, intuitionistic perspective, dynamical/categorical developments
|
2000-06-19 |
Célia Borlido (Univ. Nice Sophia-Antipolis, France) |
An Eilenberg-like Theorem beyond regular languages
|
2018-07-06 |
Charles Walker (Masaryk University, Czech Republic) |
Characterizations of lax orthogonal factorization systems
|
2020-06-30 |