Denotational semantics

Related lectures (30)

Page 3 of 3

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Explores operational semantics and inductively defined relations in the Amyli language.

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Covers operational semantics and evaluation strategies in lambda calculus, including redex, alternative evaluation strategies, and Church Booleans.

Explores knowledge representation, data structures, semantics, and the challenges of searching for data on the web.

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

Introduces Reactive Streams semantics, focusing on back-pressure, flow control, methods as signals, specification, challenges, and interoperability.

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.

Examines systematicity, compositionality, neural network challenges, and unsupervised learning in NLP.