Lambda Calculus: Syntax and Abstractions

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 2 of 3

Weak Derivatives: Definition and Properties

Covers weak derivatives, their properties, and applications in functional analysis.

Python Modules and Functions

Covers Python libraries, modules, scoping, functions, lambdas, and practical examples.

Real Functions: Definitions and Properties

Explores real functions, covering parity, periodicity, and polynomial functions.

Differentiating under the integral sign

Explores differentiating under the integral sign and continuity of functions in integrals.

Closure Conversion: Representation and Transformation

Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.

Harmonic Forms: Main Theorem

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Types in Lambda Calculus

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

Python Complement: Numpy, Scipy, Matplotlib

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

Foundations of Software

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

Hoare Logic: Foundations and Applications

Covers Hoare Logic, its foundations, applications, and significance in program verification.