Asymptotic methods in lambda calculus and combinatory logic
2013/11/B/ST6/00975
Keywords
Descriptors
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST1_14: Kombinatoryka
- ST1_15: Matematyczne aspekty informatyki
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
Voivodeship: małopolskie
Principal investigator (from the host institution)
Number of co-investigators in the project: 5
Call
OPUS 6 – announced on 2013-09-16
- Amount awarded
- 571 600 PLN
- Project start date
- 2014-07-16
- Project end date
- 2017-07-15
- Project duration
- 36 months (the same as in the proposal)
- Project status
- Project settled
Equipment purchased [PL]
- Laptop. Cost: 219 PLN
- Monitor do laptopa.
Information in the final report
Publication in academic press/journals (4)
-
Normal-order reduction grammars
- Authors:
- Maciej Bendkowski
- Academic press:
- JOURNAL OF FUNCTIONAL PROGRAMMING (year: 2017, volume: 27, pages: 46053), Publisher: Cambridge University Press
- Status:
- Published
- DOI:
- 10.1017/S0956796816000332 – link to the publication
-
Counting and generating terms in the binary lambda calculus
- Authors:
- Katarzyna Grygiel, Pierre Lescanne
- Academic press:
- Journal of Functional Programming (year: 2015, volume: 25, pages: 25), Publisher: Cambridge Univ. Press
- Status:
- Published
- DOI:
- 10.1017/S0956796815000271 – link to the publication
-
Combinatorics of λ-terms: a natural approach
- Authors:
- Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
- Status:
- Accepted for publication
-
On the likelihood of normalisation in combinatory logic
- Authors:
- Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
- Status:
- Accepted for publication
Articles in post-conference publications (3)
-
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
- Authors:
- Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
- Conference:
- Practical Aspects of Declarative Languages 2017 (PADL 2017) (year: 2017, pages: 120-135), Publisher: Springer, Lecture Notes in Computer Science (LNCS) 10137
- Date:
- conference 16-17 stycznia 2017
- Status:
- Published
- DOI:
- link to the publication
-
Asymptotic properties of combinatory logic
- Authors:
- Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
- Conference:
- 12th Annual Conference on Theory and Applications of Models of Computation (year: 2015, pages: 62-72), Publisher: Springer
- Date:
- conference Maj 18-20
- Status:
- Published
- DOI:
- link to the publication
-
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 (year: 2016, pages: 183-194), Publisher: Springer
- Date:
- conference 23-28 styczeń
- Status:
- Published
- DOI:
- link to the publication