![[LIPN]](/blog-themes/lipn-automne/img/logo_lipn.png){kind=logo}
![[CNRS]](/blog-themes/lipn-automne/img/logo_cnrs.png){kind=logo}
![[Université Paris 13]](/blog-themes/lipn-automne/img/logo_paris13.png){kind=logo}
Toward a Bounded Linear Type system for PCF in Call-by-value
Monday 30 April 2012 at 02.00 PM by damiano
Le 30 avril 2012, à 14h en salle B311, le séminaire LCR accueille Barbara Petit (Bologne).
To content | To menu | To search
To content | To menu | To search
Monday 30 April 2012 at 02.00 PM by damiano
Le 30 avril 2012, à 14h en salle B311, le séminaire LCR accueille Barbara Petit (Bologne).
![[ICS]](http://www-lipn.univ-paris13.fr/actualites/?pf=icsfeed/icon.png){kind=icon}
Events (ICS format)
About the ICS format