2 projects found matching your search criteria :
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
On endogenous discounting and recursive utilities
Call: OPUS 24 , Panel: HS4
Principal investigator: dr hab. Łukasz Balbus
Uniwersytet Zielonogórski