-
for logical foundations, a new linguistic layer representing the intermediate steps between natural language texts and formal proof documents, and the automatisation tools for the efficient construction
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions in france