Difference between revisions of "Simple substance"
Jump to navigation
Jump to search
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
This term comes from the English translation of [[Monadology]] of Leibniz. It would be | This term comes from the English translation of [[Monadology]] of [[Leibniz]]. It would be convenient to consider it as the universal building blocks of a primitive language, such as [[directed relation]]s or [[arrow]]s in [[Category Theory]]. | ||
<noinclude> | <noinclude> | ||
=References= | =References= |
Latest revision as of 07:48, 15 June 2022
This term comes from the English translation of Monadology of Leibniz. It would be convenient to consider it as the universal building blocks of a primitive language, such as directed relations or arrows in Category Theory.
References
Related Pages
B
C
D
G
K
L
- Lambda Calculus
- Lectures/"An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke
- Lectures/"Functional distributed systems beyond request/response" by Melinda Lu
M
P
P cont.
S
V
- Video/"An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke
- Video/"Functional distributed systems beyond request/response" by Melinda Lu
- Video/A monad is a monoid in the category of endofunctors. Whats the problem?
- Video/An Intuitive Introduction to Monads in Under 10 Minutes
- Video/Category Theory for the Working Hacker by Philip Wadler
- Video/Category theory for JavaScript programmers - 27:string diagrams
- Video/Composable application architecture with reasonably priced monads
- Video/Dana S. Scott Lambda Calculus, Then and Now
- Video/Dana S. Scott: Seventy Years Using Fixed Points
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 2) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 3) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 4) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 5) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 6) - λC 2018
V cont.
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 3 of 5 - λC 2017
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 4 of 5 - λC 2017
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 5 of 5 - λC 2017
- Video/Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020
- Video/Daniel Beskin- Category Theory as a Tool for Thought- λC 2019
- Video/Don't fear the Monad
- Video/Foundations of Programming Languages: Typed and Untyped Lambda-Calculus - Paul Downen - OPLSS 2018
- Video/Lambda Calculus - Computerphile
- Video/Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
- Video/Leibniz's Monads Explained
- Video/Monads (Emily Rhiel) 2021 03 21
- Video/Okay but WTF is a MONAD??????
- Video/Prof. Dana Scott - Geometry Without Points
- Video/Steven Syrek - Category Theory for People who Can't be Bothered to Learn It (Part 1) - λC 2018
- ... further results