Home

Resource calculus, Taylor expansion and the Krivine machine

Descrizione | Programma | Lista seminari

Speaker:
Laurent Regnier
Quando:
24/04/2009 - 14:45
Dove:
Abstract

Non disponibile.