Noam Zeilberger - Untyped Linear Lambda Calculus and the Combinatorics of 3-valent Graphs
The lambda calculus was invented by Church in the late 1920s, as part of an ambitious project to build a foundation for mathematics around the concept of function. Although his original system turned out to be logically inconsistent, Church was able to extract from it two separate usable s
From playlist Combinatorics and Arithmetic for Physics: 02-03 December 2020
LambdaConf 2015 - Introduction to Typed Racket Mark Farrell
This workshop will give an introduction to Typed Racket. We will give an overview of the features of its type system, go over some examples of typing old untyped Racket code and provide some accompanying typing exercises for people to try. We will also discuss some current issues trusting
From playlist LambdaConf 2015
LambdaConf 2015 - Introduction to Intuitionistic Type Theory Vlad Patryshev
Traditionally, in Computer Science, sets are assumed to be the basis of a type theory, together with Boolean logic. In this version of type theory, we do not need sets or Boolean logic; intuitionism is enough ("no principle of excluded middle required"). The underlying math is Topos Theory
From playlist LambdaConf 2015
Category theory for JavaScript programmers #26: continuation passing monad
http://jscategory.wordpress.com/source-code/
From playlist Category theory for JavaScript programmers
Lambda in Python - Advanced Python 08 - Programming Tutorial - Map Filter Reduce
Lambda in Python - Advanced Python 08 - Programming Tutorial - Map Filter Reduce In this Python Advanced Tutorial, we will be learning about Lambda functions in Python. A lambda function is a small (one line) anonymous function that is defined without a name. It is typically used when you
From playlist Advanced Python - Complete Course
Lambda Expressions in Java | Java Lambda Tutorial | Java Certification Training | Edureka
**** Java Certification Training: https://www.edureka.co/java-j2ee-training-course **** This Edureka tutorial on “Lambda Expressions in Java” will introduce you to a new Java feature called Lambda Expressions. It will also talk about the functional interface in Java. Through this tutorial
From playlist Java Tutorial For Beginners | Edureka
Shadows of Computation - Lecture 5 - What is Computation?
Welcome to Shadows of Computation, an online course taught by Will Troiani and Billy Snikkers, covering the foundations of category theory and how it is used by computer scientists to abstract computing systems to reveal their intrinsic mathematical properties. In the fifth lecture Will sp
From playlist Shadows of Computation
Python Programming Tutorial - 40 - Lamdba
Source Code: https://github.com/thenewboston-developers Core Deployment Guide (AWS): https://docs.google.com/document/d/16NDHWtmwmsnrACytRXp2T9Jg7R5FgzRmkYoDteFKxyc/edit?usp=sharing
From playlist Python 3.4 Programming Tutorials
LambdaConf 2015 - Modeling Data in Haskell for Beginners Chris Allen
There are patterns for modeling data that are not obvious or widely covered in Haskell that only require the application of basic algebraic datatypes, we'll explore some of these approaches with the dual purpose of introducing thinking in terms of algebraic datatypes in Haskell. The audien
From playlist LambdaConf 2015
Lecture 2: The Curry-Howard correspondence
This talk gives an elementary introduction to some central ideas in the theory of computation, including lambda calculus and its relation to category theory. The aim was to get to the statement of the Curry-Howard correspondence, but we ran out of time; at some point there will be another
From playlist Topos theory seminar
Shadows of Computation - Theorems for Free (Discussion)
Welcome to Shadows of Computation, an online course taught by Will Troiani and Billy Snikkers, covering the foundations of category theory and how it is used by computer scientists to abstract computing systems to reveal their intrinsic mathematical properties. In this video, Billy and Wil
From playlist Shadows of Computation
C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 1 of 13
Welcome to a new technical series on Channel 9 folded into a different kind of 9 format: C9 Lectures. These are what you think they are, lectures. They are not conversational in nature (like most of what you're used to on 9), but rather these pieces are entirely focused on education, comin
From playlist Haskell - Functional Programming Fundamentals (Dr. Erik Meijer )
RubyConf 2016 - That Works?! Quines and Other Delightfully Useless Programs by Colin Fulton
RubyConf 2016 - That Works?! Quines and Other Delightfully Useless Programs by Colin Fulton Performance, readability and correctness are fine and dandy, but what happens when we start optimizing for whimsy, illegibility and outright silliness? Self-rewriting programs that also function as
From playlist RubyConf 2016
Stanford Seminar - Concatenative Programming: From Ivory to Metal
EE380: Computer Systems Colloquium Seminar Concatenative Programming: From Ivory to Metal Speaker: Jon Purdy, Microsoft Concatenative programming is a relatively new programming paradigm built on a simple yet powerful tool: function composition. In this talk I will give an overview of con
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series
Wolfram Physics I: Basic Formalism, Causal Invariance and Special Relativity
Find more information about the summer school here: https://education.wolfram.com/summer/school Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announcement post: http://wolfr.am/physics-announcement Find the tools to build a universe: https:
From playlist Wolfram Summer Programs
Damiano Mazza: Heterodox exponential modalities in linear logic
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual
From playlist Logic and Foundations
Proof synthesis and differential linear logic
Linear logic is a refinement of intuitionistic logic which, viewed as a functional programming language in the sense of the Curry-Howard correspondence, has an explicit mechanism for copying and discarding information. It turns out that, due to these mechanisms, linear logic is naturally r
From playlist Talks
Definition of a Surjective Function and a Function that is NOT Surjective
We define what it means for a function to be surjective and explain the intuition behind the definition. We then do an example where we show a function is not surjective. Surjective functions are also called onto functions. Useful Math Supplies https://amzn.to/3Y5TGcv My Recording Gear ht
From playlist Injective, Surjective, and Bijective Functions