Pierre Lescanne

Jednostki:

Publikacje:

2.
Counting Terms in the Binary Lambda Calculus, DMTCS PROCEEDINGS - 25TH INTERNATIONAL CONFERENCE ON PROBABILISTIC, COMBINATORIAL AND ASYMPTOTIC METHODS FOR THE ANALYSIS OF ALGORITHMS vol. DMTCS-HAL Proceedings Series (2014), 13

Granty (realizowane po maju 2009 roku)

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