Lambda Calculus: Operational Semantics and Evaluation Strategies

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 2 of 4

Python Programming: List Comprehensions and Higher Order Functions

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

Type Checking and Reconstruction: Equations and Unification

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

Encoding Recursion as Self-Application

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

Programming by Flows: Temperature Conversion

Demonstrates temperature conversion from Fahrenheit to Celsius using Java streams and lambda expressions.

Pen-and-paper session: Lambda Calculus Proofs

Delves into Lambda Calculus proofs, emphasizing structural induction and variable manipulation.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Python Programming Basics

Introduces Python programming basics, covering variables, methods, conditions, loops, and boolean logic.

High-Order Functions: Unification Theory

Covers high-order functions, parser, and type checker concepts.

Inductive Propositions: Understanding Evaluation in Coq

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Numbers and Booleans

Introduces numbers and booleans in Python, covering numeric types, arithmetic operations, logical operations, and comparisons.