You are not logged in |
Back to the list of the institutes
Publications
Conference: Workshop on Logic, Language, Information and Computation
Number of publications: 12024
- Marek Zawadowski , Justyna Grudzińska-Zawadowska, Polyadic Quantifiers on Dependent Types, 30th Workshop on Logic, Language, Information and Computation, Bern, Switzerland, 10 June 2024 - 13 June 2024. See in PBN
