Lambda cube

Related lectures (25)

Page 2 of 3

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

Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.

Covers the syntax and examples of lambda functions, including parameters, types, bodies, and environments.

Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

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

Explores household optimization, monetary policy impact, and price flexibility in the New Keynesian model.

Covers advanced Python topics like numpy operations, scipy linear algebra, and matplotlib for creating figures.

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Explores lambda functions in Java through practical examples and the consumer interface.