Valeria de Paiva

Valeria de Paiva

Topos Institute, University of Birmingham
Verified email at topos.institute
Cited by 5020
Category Theory Proof Theory Type Systems Categorical logic Semantics of Natural languages
Catherine Recanati

Catherine Recanati

Universite Paris 13 - CNRS (Université Sorbonne Paris Cité)
Verified email at lipn.univ-paris13.fr
Cited by 92
Articial intelligence Semantics of programming language Semantics of natural languages knowledge representation neural netwo
Miloš D. Đurić

Miloš D. Đurić

Faculty of Electrical Engineering, University of Belgrade
Verified email at etf.bg.ac.rs
Cited by 27
English for Electrical Engineering English for Software Engineering Semantics of Natural Languages Syntax of Natural Language