Pracownicy wydziału

Pracownicy emerytowani

Osoby związane z wydziałem

Byli doktoranci

Granty i Nagrody

Paul Tarau

Jednostki:

Publikacje

Publikacje:

2.

Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau

Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplers, Theory and Practice of Logic Programming vol. 18(1) (2018), 97-119

1.

Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau

Boltzmann Samplers for Closed Simply-Typed Lambda Terms, Lecture Notes in Computer Science vol. 10137 (2017), 120-135