K-models of a parallel and non-deterministic lambda calculus

Descrizione | Programma | Lista seminari

Speaker:
Antonio Bucciarelli
Quando:
24/04/2009 - 10:15
Dove:
Abstract

Non disponibile.