Articles de cet auteur
Jun 04
(English) Moving of LIX to the new building planned for August
Désolé, cet article est seulement disponible en Anglais Américain.
May 25
(English) Willem Heijltjes speaks at LIX
Cancelled for 30 May 2012: to be rescheduled Proof nets and semi-star-autonomous categories Willem Heijltjes, postdoc in Parsifal Girard’s original proof nets are a canonical graphical presentation of proof in multiplicative linear logic without units. In capturing their categorical semantics, there is the problem of dealing with proof nets that have a single conclusion. These would normally …
May 15
(English) Yuting Wang joins as an intern for the summer
Désolé, cet article est seulement disponible en Anglais Américain.
May 15
(English) Stefan Hetzl joins the team for 3 months
Désolé, cet article est seulement disponible en Anglais Américain.
May 05
(English) Beniamino Accatoli speaks at Rocquencourt
Désolé, cet article est seulement disponible en Anglais Américain.