Church Numerals and Conditionals

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 2 of 4

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.

Functional Programming in Python

Covers functional programming concepts in Python, showcasing filtering lists based on specific criteria.

Higher-Order Functions: Lambda

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

High-Order Functions: Unification Theory

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

Python Basics: Syntax, Variables, Functions

Covers Python basics such as syntax, variables, and functions, introducing the Renku platform for collaborative data science.

Adding a Variable

Demonstrates adding a variable to track levels in a program.

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.

Nested Loops and Conditionals

Covers two quizzes on nested loops and conditionals with different outputs.

Subtyping and Type Calculus

Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.

Simple Code Generation for if

Covers the compilation of statement sequences, control structures, boolean representation, and comparisons in WebAssembly code generation.