sejo
/
compudanzas
2
3
Fork 3
Code Issues Pull Requests Projects Releases Wiki Activity

lambda subcategory and λ-2D

This commit is contained in:
sejo 2022-04-05 13:27:15 -05:00
parent e3eeba2877
commit 085993d76a
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/references.gmo
View File

@ -58,6 +58,11 @@ texts by solderpunk in the {gemini} protocol
=> https://www.gwern.net/docs/www/think-maths.co.uk/5d2586e9724de4c5df5b354ee6117fcc2e1b722b.pdf Logic Gates - Domino Computer
=> https://www.omanobserver.om/article/44559/Business/aba-oman-students-set-world-record-for-dominoes-circuit ABA Oman students set world record for dominoes circuit
## lambda
=> https://www.media.mit.edu/projects/2d-an-exploration-of-drawing-as-programming-language-featuring-ideas-from-lambda-calculus/overview/ λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus
=> https://tromp.github.io/cl/diagrams.html lambda diagrams
# computer science
=> https://archive.org/details/computationfinit0000mins/ Computation: finite and infinite machines (1967) Minsky
@ -65,7 +70,6 @@ texts by solderpunk in the {gemini} protocol
=> https://wpmedia.wolfram.com/uploads/sites/13/2018/02/15-1-1.pdf Cook, Matthew (2004). "Universality in Elementary Cellular Automata" (PDF). Complex Systems. 15: 1–40.
=> https://www.youtube.com/watch?v=xP5-iIeKXE8 A video of Conway's Game of Life, emulated in Conway's Game of Life.
=> https://aphyr.com/posts/341-hexing-the-technical-interview Hexing the technical interview
=> https://tromp.github.io/cl/diagrams.html lambda diagrams
=> http://www.martin-gardner.org/SciAm1.html#1 Martin Gardner and Scientific American
=> https://grahamshawcross.com/2012/10/12/wang-tiles-and-turing-machines/ Wang Tiles and Turing Machines