Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

2016/21/N/ST6/01032

Słowa kluczowe:

rachunek lambda kombinatoryka

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST1_1: Logika i podstawy matematyki

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Maciej Bendkowski 

Liczba wykonawców projektu: 3

Konkurs: PRELUDIUM 11 - ogłoszony 2016-03-15

Przyznana kwota: 98 400 PLN

Rozpoczęcie projektu: 2017-03-14

Zakończenie projektu: 2020-03-13

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (3)
  • Teksty w publikacjach pokonferencyjnych (4)
  1. Statistical Properties of Lambda Terms
    Autorzy:
    Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
    Czasopismo:
    Electronic Journal of Combinatorics (rok: 2019, tom: 26, strony: 1--70), Wydawca: nie dotyczy
    Status:
    Opublikowana
    Doi:
    10.37236/8491 - link do publikacji
  2. Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
    Autorzy:
    Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
    Czasopismo:
    Combinatorics, Probability and Computing (rok: 2021, ), Wydawca: Cambridge University Press
    Status:
    Przyjęta do publikacji
    Doi:
    brak - link do publikacji
  3. On the enumeration of closures and environments with an application to random generation
    Autorzy:
    Maciej Bendkowski, Pierre Lescanne
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15, strony: 3:1--3:21), Wydawca: nie dotyczy
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-15(4:3)2019 - link do publikacji
  1. Polynomial tuning of multiparametric combinatorial samplers
    Autorzy:
    Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
    Konferencja:
    Fifteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO) (rok: 2018, ), Wydawca: Society for Industrial and Applied Mathematics (SIAM)
    Data:
    konferencja 08-09.01.2018
    Status:
    Opublikowana
  2. Combinatorics of Explicit Substitutions
    Autorzy:
    Maciej Bendkowski, Pierre Lescanne
    Konferencja:
    20th International Symposium on Principles and Practice of Declarative Programming (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 03.09.2018-05.09.2018
    Status:
    Opublikowana
  3. Counting Environments and Closures
    Autorzy:
    Maciej Bendkowski, Pierre Lescanne
    Konferencja:
    Third International Conference on Formal Structures for Computation and Deduction (rok: 2018, ), Wydawca: Leibniz International Proceedings in Informatics
    Data:
    konferencja 09-12.07.2018
    Status:
    Opublikowana
  4. Towards the average-case analysis of substitution resolution in lambda-calculus
    Autorzy:
    Maciej Bendkowski
    Konferencja:
    4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) (rok: 2019, ), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs) (2019)
    Data:
    konferencja 24-30.06.2019
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy