mgr Łukasz Lachowski

Jednostki:

Wydział Matematyki i Informatyki UJ
Instytut Informatyki Analitycznej
Katedra Podstaw Informatyki

Doktorat Otwarcie: 2018-05-24, Zamknięcie:

Publikacje:

On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic, Reports on Mathematical Logic vol. 53 (2018), 19-42

Konferencje:

Agnieszka Łupińska, Łukasz Lachowski.

Applications of Algebra XX, Institute of Mathematics and Computer Science of Jan Długosz University, Zakopane, Polska, 2016-03-07 - 2016-03-13

Jarosław Duda, Adam Polak, Agnieszka Łupińska, Łukasz Lachowski.

Forum Informatyki Teoretycznej 2016, Department of Mathematics, Informatics and Mechanics of the University of Warsaw, Warszawa, Polska, 2016-02-05 - 2016-02-06

Granty (realizowane po maju 2009 roku)

Tytuł	Rola	Rozpoczęcie	Zakończenie
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej	Wykonawca	2014-07-16	2017-07-15