Évènements
Rechercher un événement
30
Nov
Algebras in Relational Semantics
Guy McCusker (Bath)
The well-known relational semantics of linear logic is constructed out of two kinds of free algebra construction: the powerset and the set of finite multisets [...]
30
Nov
G-Solid Rational Surfaces
(...)
A rational surface is a surface S such that there exists a birational map between S and the projective plane. Given a rational surface S [...]
