Generalized Quantifiers on Dependent Types: A System for Anaphora. - Justyna Grudzinska; Marek W. Zawadowski (CoRR, 2014)

Whence Long-Distance Indefinite Readings? Solving Chierchia's Puzzle with Dependent Types. - Justyna Grudzinska; Marek W. Zawadowski (TbiLLC, 2015)

Scope ambiguities, monads and strengths. - Justyna Grudzinska; Marek W. Zawadowski (J. Lang. Model., 2017)

Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches. - Justyna Grudzinska; Marek W. Zawadowski (Fundam. Informaticae, 2019)

Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account. - Justyna Grudzinska; Marek W. Zawadowski (J. Log. Lang. Inf., 2019)

Prepositions Matter in Quantifier Scope Disambiguation. - Aleksander Leczkowski; Justyna Grudzinska; Manuel Vargas Guzmán 001; Aleksander Wawer; Aleksandra Siemieniuk (COLING, 2022)

Lexicon and Logic: A Corpus-Based Investigation Into a Connection Between Prepositional Senses and Quantifier Scope. - Justyna Grudzinska; Aleksandra Siemieniuk; Aleksander Leczkowski (J. Semant., 2023)

Polyadic Quantifiers on Dependent Types. - Marek W. Zawadowski; Justyna Grudzinska (WoLLIC, 2024)