prof. dr hab. Paweł Urzyczyn profesor zwyczajny
Wydział Matematyki, Informatyki i Mechaniki
Dyscyplina naukowa:
informatyka, matematyka
Zainteresowania badawcze:
Logika, zwłaszcza intuicjonistyczna. Teoretyczne podstawy informatyki, zwłaszcza typy i rachunki lambda. ----------------------
description of research interests:
Logic, esp. intuitionistic logic and type theory. Theoretical Computer Science, esp. types and lambda-calculi.
Realizowane projekty:
Syntaktyczne metody w logice intuicjonistycznej.
research projects implemented:
Syntactic approach to intuitionistic logic.
Słowa kluczowe:
Rachunki lambda, logika intuicionistyczna, typy iloczynowe
Słowa kluczowe:
Lambda-calculi, intuitionistic logic, intersection types
Kontakt:
Odnośniki:
Odnośniki:
« Wstecz