Lambda Calculus: Operational Semantics and Evaluation Strategies

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (35)

Lambda Calculus: Church Numerals

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

Semantics in Computer Language Processing: Understanding Meaning

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

Lambda Calculus: Syntax and Abstractions

Introduces terms, abstractions, applications, and values in the lambda calculus.

Types in Lambda Calculus

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

Church Numerals and Conditionals

Explores Church numerals and encoding conditionals in lambda calculus.

Coq Workshop: Introduction to Interactive Theorem Proving

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Conditions and Loops: Basics of Programming

Covers the basics of programming, including types, variables, methods, functions, conditions, loops, and boolean logic.

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.

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.

Numbers and Booleans

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

Operator Overloading in C++: Concepts and Examples

Covers operator overloading in C++, including its rules, risks, and practical examples.

Method Calls: Evaluation and Examples

Explains method aspects, calls, arguments, evaluation, and return values.

Types: Data Representation

Explores data types in C/Arduino microcontroller programming, covering boolean, byte, char, word, arrays, and memory allocation.

An Introduction to Iris: Higher-Order Concurrent Separation Logic

Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.

Logical Formulas and Types: Understanding the Kerry Howard Isomorphism

Explores the Kerry Howard Isomorphism, translating logical propositions into types and terms, with a focus on proof by induction and exam preparation.

Dependent Types in Programming Languages

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

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Page 1 of 2