Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Asymptotic methods in lambda calculus and combinatory logic

2013/11/B/ST6/00975

Keywords:

Functiona languages lambda calculus combinatory logic generating functions

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST1_14: Discrete mathematics and combinatorics
  • ST1_15: Mathematical aspects of computer science

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Marek Zaionc 

Number of co-investigators in the project: 5

Call: OPUS 6 - announced on 2013-09-16

Amount awarded: 571 600 PLN

Project start date (Y-m-d): 2014-07-16

Project end date (Y-m-d): 2017-07-15

Project duration:: 36 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. Laptop (219 PLN)
  2. Monitor do laptopa.

Information in the final report

  • Publication in academic press/journals (7)
  • Articles in post-conference publications (3)
  1. Combinatorics of λ-terms: a natural approach
    Authors:
    Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
    Academic press:
    JOURNAL OF LOGIC AND COMPUTATION (rok: 2017, tom: 27, strony: 2611-2630), Wydawca: Oxford University Press
    Status:
    Accepted for publication
    DOI:
    10.1093/logcom/exx018 - link to the publication
  2. On the likelihood of normalisation in combinatory logic
    Authors:
    Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
    Academic press:
    JOURNAL OF LOGIC AND COMPUTATION (rok: 2017, tom: 27, strony: 2251-2269), Wydawca: Oxford University Press
    Status:
    Accepted for publication
    DOI:
    10.1093/logcom/exx005 - link to the publication
  3. On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
    Authors:
    Łukasz Lachowski
    Academic press:
    Reports on Mathematical Logic (rok: 2018, tom: 53, strony: 19-42), Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
    Status:
    Submitted
    DOI:
    brak - link to the publication
  4. Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplers
    Authors:
    Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
    Academic press:
    Theory and Practice of Logic Programming (rok: 2018, tom: 18(1), strony: 97-119), Wydawca: Cambridge University Press
    Status:
    Submitted
    DOI:
    brak - link to the publication
  5. Counting and generating terms in the binary lambda calculus
    Authors:
    Katarzyna Grygiel, Pierre Lescanne
    Academic press:
    Journal of Functional Programming (rok: 2015, tom: 25, strony: 25), Wydawca: Cambridge Univ. Press
    Status:
    Published
    DOI:
    10.1017/S0956796815000271 - link to the publication
  6. Testing chordal graphs with CUDA
    Authors:
    Agnieszka Łupińska, Piotr Danilewski
    Academic press:
    Journal of Parallel and Distributed Computing - Elsevier , Wydawca: Elsevier
    Status:
    Submitted
    DOI:
    brak - link to the publication
  7. Normal-order reduction grammars
    Authors:
    Maciej Bendkowski
    Academic press:
    JOURNAL OF FUNCTIONAL PROGRAMMING (rok: 2017, tom: 27, strony: 45322), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/S0956796816000332 - link to the publication
  1. Boltzmann Samplers for Closed Simply-Typed Lambda Terms
    Authors:
    Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
    Conference:
    Practical Aspects of Declarative Languages 2017 (PADL 2017) (rok: 2017, ), Wydawca: Springer, Lecture Notes in Computer Science (LNCS) 10137
    Data:
    konferencja 16-17 stycznia 2017
    Status:
    Published
    DOI:
    link to the publication
  2. Asymptotic properties of combinatory logic
    Authors:
    Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
    Conference:
    12th Annual Conference on Theory and Applications of Models of Computation (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja Maj 18-20
    Status:
    Published
    DOI:
    link to the publication
  3. A natural counting of lambda terms
    Authors:
    Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc,
    Conference:
    42nd International Conference on Current Trends in Theory and Practice of Computer Science (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 23-28 styczeń
    Status:
    Published
    DOI:
    link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy