prof. dr hab. Paweł Urzyczyn profesor zwyczajny
Wydział Matematyki, Informatyki i Mechaniki
Field of study:
computer and information sciences, mathematics
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
Key words:
Lambda-calculi, intuitionistic logic, intersection types
Contact:
Odnośniki:
Links:
« Back