Pierre Lescanne

Jednostki:

Publikacje:

Granty (realizowane po maju 2009 roku)

TytułRolaRozpoczęcieZakończenie
Asymptotyczne metody w rachunku lambda i logice kombinatorycznejWykonawca2014-07-162017-07-15