W dniach od 2 kwietnia do 5 kwietnia 2024 r. prowadzone będą prace związane z wdrożeniem nowej wersji systemu Repozytorium UJ. Nie będzie możliwe wprowadzanie nowych informacji do repozytorium. Za utrudnienia przepraszamy.
TytułCounting environments and closures AutorzyBendkowski Maciej , Lescanne Pierre. Źródło3rd International Conference on Formal Structures for Computation and Deduction : FSCD 2018, July 9-12, 2018, Oxford, United Kingdom. Vol. 108 / ed. Kirchner Hélène. - Saarbrücken, Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018Typartykuł (rozdział) w książce | publikacja pokonferencyjna