Lambda Calculus: Church Numerals

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 2 of 4

Church Numerals and Conditionals

Explores Church numerals and encoding conditionals in lambda calculus.

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.

Objects Everywhere

Covers pure object orientation, standard classes in Scala, Boolean implementation, and exercises on class implementations.

Functional Programming: Concepts and Implementation

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

Prime Numbers: Finding and Testing

Covers the definition of a function to determine if a given number is prime.

Coq Workshop: Introduction to Interactive Theorem Proving

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

Control Flow in Python: Conditional Statements and Loops

Covers control flow in Python, focusing on conditional statements and loops.

Conditions and Loops: Basics of Programming

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

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.

Foundations of Software

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