We saw that we can represent the syntax of a program as an abstract syntax tree (AST), an algebraic data type that reflects the shape of the program. Syntax is, for our purposes, the "easy" part of ...

In Lecture 2 we foreshadowed the need for a different style of semantics that could handle non-terminating programs. In Lecture 3 we started building some infrastructure that could deal with ...

In this module you will learn about advanced theoretical topics in Natural Language Semantics, by conducting original research on a linguistic phenomenon that concerns 'meaning' in a language that you ...

This seminar is a PhD-level research seminar course on the intersection of natural language semantics and philosophy of language. It meets weekly during Term 2 at UCL. This seminar is supported by the ...

[Video from todays lecture.](https://us02web.zoom.us/rec/share/dkWPdlvkYJpYedce1Xm2eweyaWmQcT_K8fbIbnp-7BDZBgldH9mIweDXJyQ2YXWk.VsP5dEBY1VzPXcSU?startTime ...

In this lecture we present the static semantics of our small language of arithmetic expressions, including variables and definitions. While the example is almost trivial, some issues regarding ...

ABSTRACT: Using Kripke semantics, we have identified and reduced an epistemic incompleteness in the metaphor commonly employed in Social Networks Analysis (SNA), which basically compares information ...