Michal Fait
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 7
Publications (10 Years): 7
Publications
- Michal Fait, Giuseppe PrimieroHTLC: Hyperintensional Typed Lambda Calculus. FLAP 8 (2) (2021)
- Marie Duzí, Michal Fait
- Marie Duzí, Michal Fait
- Marie Duzí, Michal FaitProperty Modifiers. RASLAN (2017)
- Marie Duzí, Michal Fait