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:
  • ST1_14:
  • ST1_15:

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 (5)
  • Articles in post-conference publications (5)
  1. 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
  2. Normal-order reduction grammars
    Authors:
    Maciej Bendkowski
    Academic press:
    JOURNAL OF FUNCTIONAL PROGRAMMING (rok: 2017, tom: 27, strony: 45688), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/S0956796816000332 - link to the publication
  3. 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
  4. On the likelihood of normalisation in combinatory logic
    Authors:
    Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
    Status:
    Accepted for publication
  5. Combinatorics of λ-terms: a natural approach
    Authors:
    Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
    Status:
    Accepted for publication
  1. 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
  2. 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
  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
  4. 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
  5. 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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy