Évènements
Rechercher un événement
17
Apr
Double indexed differential linear logic reconciling resources and differential operators
Simon Mirwasser (LIPN, Sorbonne Paris Nord)
Graded Linear Logic is a central development of Linear Logic, quantifying the use of resources in proofs and programs. Differential Linear Logic, on the other [...]
17
Apr
Stretch laminations via hyperbolic Dehn surgery
Cameron Rudd (Oxford)
Given a hyperbolic manifold M and a homotopy class of maps from M to the circle, there is an associated geodesic "stretch" lamination encoding at [...]
17
Apr
