The following pages link to Stergios Chatzikyriakidis (Q683681):
Displaying 8 items.
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- A computational treatment of anaphora and its algorithmic implementation (Q2035844) (← links)
- Underspecification, parsing mismatches and routinisation: the historical development of the clitic systems of Greek dialects (Q2236488) (← links)
- Natural language inference in Coq (Q2258817) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- (Q4599196) (← links)
- Adverbs in a Modern Type Theory (Q4981267) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
