Projekty finansowane przez NCN
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
2013/11/B/ST6/00975
Słowa kluczowe:
funkcyjne języki programowania rachunek llambda logika kombinatoryczna funkcje tworzące
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST1_14: Kombinatoryka
- ST1_15: Matematyczne aspekty informatyki
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
Konkurs: OPUS 6 - ogłoszony 2013-09-16
Przyznana kwota: 571 600 PLN
Rozpoczęcie projektu: 2014-07-16
Zakończenie projektu: 2017-07-15
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Zakupiona aparatura
- Laptop. Za kwotę 219 PLN
- Monitor do laptopa.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (7)
- Teksty w publikacjach pokonferencyjnych (3)
- Combinatorics of λ-terms: a natural approachAutorzy:Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek ZaioncCzasopismo:JOURNAL OF LOGIC AND COMPUTATION (rok: 2017, tom: 27, strony: 2611-2630), Wydawca: Oxford University PressStatus:Przyjęta do publikacjiDoi:10.1093/logcom/exx018 - link do publikacji
- On the likelihood of normalisation in combinatory logicAutorzy:Maciej Bendkowski, Katarzyna Grygiel, Marek ZaioncCzasopismo:JOURNAL OF LOGIC AND COMPUTATION (rok: 2017, tom: 27, strony: 2251-2269), Wydawca: Oxford University PressStatus:Przyjęta do publikacjiDoi:10.1093/logcom/exx005 - link do publikacji
- On the Complexity of the Standard Translation of Lambda Calculus into Combinatory LogicAutorzy:Łukasz LachowskiCzasopismo:Reports on Mathematical Logic (rok: 2018, tom: 53, strony: 19-42), Wydawca: Wydawnictwo Uniwersytetu JagiellońskiegoStatus:ZłożonaDoi:brak - link do publikacji
- Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplersAutorzy:Maciej Bendkowski, Katarzyna Grygiel, Paul TarauCzasopismo:Theory and Practice of Logic Programming (rok: 2018, tom: 18(1), strony: 97-119), Wydawca: Cambridge University PressStatus:ZłożonaDoi:brak - link do publikacji
- Counting and generating terms in the binary lambda calculusAutorzy:Katarzyna Grygiel, Pierre LescanneCzasopismo:Journal of Functional Programming (rok: 2015, tom: 25, strony: 25), Wydawca: Cambridge Univ. PressStatus:OpublikowanaDoi:10.1017/S0956796815000271 - link do publikacji
- Testing chordal graphs with CUDAAutorzy:Agnieszka Łupińska, Piotr DanilewskiCzasopismo:Journal of Parallel and Distributed Computing - Elsevier , Wydawca: ElsevierStatus:ZłożonaDoi:brak - link do publikacji
- Normal-order reduction grammarsAutorzy:Maciej BendkowskiCzasopismo:JOURNAL OF FUNCTIONAL PROGRAMMING (rok: 2017, tom: 27, strony: 45322), Wydawca: Cambridge University PressStatus:OpublikowanaDoi:10.1017/S0956796816000332 - link do publikacji
- Boltzmann Samplers for Closed Simply-Typed Lambda TermsAutorzy:Maciej Bendkowski, Katarzyna Grygiel, Paul TarauKonferencja:Practical Aspects of Declarative Languages 2017 (PADL 2017) (rok: 2017, ), Wydawca: Springer, Lecture Notes in Computer Science (LNCS) 10137Data:konferencja 16-17 stycznia 2017Status:Opublikowana
- Asymptotic properties of combinatory logicAutorzy:Maciej Bendkowski, Katarzyna Grygiel, Marek ZaioncKonferencja:12th Annual Conference on Theory and Applications of Models of Computation (rok: 2015, ), Wydawca: SpringerData:konferencja Maj 18-20Status:Opublikowana
- A natural counting of lambda termsAutorzy:Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc,Konferencja:42nd International Conference on Current Trends in Theory and Practice of Computer Science (rok: 2016, ), Wydawca: SpringerData:konferencja 23-28 styczeńStatus:Opublikowana