Subtyping and Type Calculus

Related lectures (32)

Page 3 of 4

Explains the concept of infimum in real numbers and its properties.

Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in Lambda Calculus.

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

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

Explores higher-order functions and lambda expressions in Python, showcasing their practical applications and concise syntax.

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

Covers higher-order functions, function types, and anonymous functions in programming.

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

Explains the properties of subsets of real numbers, including Supremum, Infimum, intervals, open sets, and closed sets.

Covers the properties of supremum and infimum in sets, including uniqueness and symmetry.