Wyszukiwarka projektów

• Słowa kluczowe: lambda calculus ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 3 projekty spełniających kryteria wyszukiwania:

1. 1. Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

   Kierownik: dr Maciej Maria Bendkowski

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: PRELUDIUM 11, panel: ST6

2. 2. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

   Kierownik: prof. Marek Zaionc

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: OPUS 6, panel: ST6

3. 3. Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

   Kierownik: Łukasz Tadeusz Czajka

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: PRELUDIUM 4, panel: ST6