Évènements
Rechercher un événement
07
Dec
Scientific collaboration with Alexey KLIMENKO
(...)
joint work on convergence of spherical averages for various classes of groups.
20
Dec
Scientific collaboration with Alexey KLIMENKO
(...)
To continue joint work on convergence of spherical averages for various classes of groups.
Non idempotent typing, upper bounds and exact length in the lambda and in the lambda-mu-calculus
Pierre Vial (IRIF, Université de Paris)
Non-idempotent intersection type theory, introduced independently by Gardner [94], Kfoury [96] and de Carvalho [07] arguably give the simplest to prove characterizations of semantical properties [...]
07
Dec
Conference "Dynamics in Valparaiso"
(...)
Dynamics in Valparaiso: celebrating 10 years of the Dinamica Portena seminar
