Formal semantics

Related lectures (23)

Page 2 of 3

Explores music semantics, discussing inferences triggered by different musical elements and proposing a framework for understanding music's meaning.

Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.

Covers Amyli, a tiny functional language, type rules, and soundness.

Covers the basics of induction, syntax, abstract vs. concrete syntax, and operational semantics for Booleans.

Explores loop semantics, demonstrating how to systematically compute the meaning of a while loop.

Explores the relational semantics of loops in programs and the mathematical interpretation of loop structures.

Explores lambda calculus, higher-order functions, and recursive function encoding.

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Covers the essential concepts of the Standard Template Library (STL) in C++ for efficient data manipulation.

Explores Second Order Logic, WS1S, HOL, decision procedures, atomic and composite formulas, and the combination of WS1S with MONA in HOL.