yhm-amber
commented
8 months ago Simplelogin
Open yhm-amber opened 8 months ago
yhm-amber
commented
8 months ago Simplelogin
yhm-amber
commented
3 months ago https://arxiv.org/pdf/1503.09060.pdf "A Tutorial Introduction to the Lambda Calculus | Raul Rojas"
https://en.wikipedia.org/wiki/Condensed_matter_physics "Condensed matter physics"
https://zh.wikipedia.org/wiki/%E5%87%9D%E8%81%9A%E6%80%81%E7%89%A9%E7%90%86%E5%AD%A6 "凝聚态物理学"
https://en.wikipedia.org/wiki/De_Bruijn_sequence "de Bruijn sequence"
https://en.wikipedia.org/wiki/De_Bruijn_index "De Bruijn index"
https://en.wikipedia.org/wiki/De_Bruijn_notation "De Bruijn notation"
https://en.wikipedia.org/wiki/Binary_lambda_calculus "Binary lambda calculus (Binary combinatory logic)"
https://en.wikipedia.org/wiki/Binary_combinatory_logic "Binary combinatory logic (Binary lambda calculus)"
https://jgeisler0303.github.io/deBruijnDecode/ "de Bruijn Sequence Generator"
https://debruijnsequence.org/ ""
https://chessprogramming.wikispaces.com/De+Bruijn+sequence ""
https://oeis.org/A166315 "A166315 Lexicographically earliest binary de Bruijn sequences, B(2,n)."
https://tromp.github.io/cl/cl.html "John's Lambda Calculus and Combinatory Logic Playground | tromp cl"
https://github.com/tromp/tromp.github.io.git "(Languages: HTML 85.9%, Roff 11.9%, Rust 1.1%, Haskell 0.4%, C 0.3%, PostScript 0.1%, Other 0.3%) John Tromp homepage"
https://tromp.github.io/cl/diagrams.html "Lambda Diagrams | tromp cl"
https://tromp.github.io/cl/Binary_lambda_calculus.html "Binary Lambda Calculus | tromp cl"
https://tromp.github.io/cl/lazy-k.html "Lazy K | tromp cl"
https://tromp.github.io/cl/lispnycTalk/lispnyc.html "Binary Lambda Calculus: The Smallest Program Language | tromp cl"
https://tromp.github.io/cl/LC.pdf "Functional Bits: Lambda Calculus based Algorithmic Information Theory | tromp cl"
https://stackoverflow.com/questions/22676975/simple-lambda-calculus-dsl-using-gadts-in-ocaml "Simple lambda calculus DSL using GADTs in OCaml // 在 OCaml 中使用 GADT 的简单 lambda 演算 DSL"
https://github.com/polux/lambda-diagrams.git "(Apache-2.0) (Languages: Haskell 100.0%) Animations of lambda term reduction sequences // lambda 项约简序列的动画"
https://www.youtube.com/watch?v=0ZKIuKgiikM&list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV&index=7 "Prime Number Sieve in Lambda Calculus | YouTube"
https://tromp.github.io/ "John Tromp"
https://tromp.github.io/orimaze.html "OriMaze: a block moving puzzle and maze in one! | John Tromp"
https://tromp.github.io/pearls.html "Programming Pearls | John Tromp"
https://tromp.github.io/go/legal.html "Number of legal Go positions | John Tromp"
https://github.com/tromp/AIT.git "(Languages: Haskell 37.6%, HTML 30.9%, TeX 17.7%, C 8.3%, Agda 1.8%, JavaScript 0.8%, Other 2.9%) Algorithmic Information Theory, using Binary Lambda Calculus // 算法信息论，使用二进制 Lambda 演算"
https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861 "Binary Lambda Calculus"
https://github.com/ioccc-src/winner/blob/master/2012/tromp/tromp.orig.c "(found by: https://www.ioccc.org/years.html)"
https://www.ioccc.org/2012/tromp/hint.html "Most functional"
https://en.wikipedia.org/wiki/Combinatory_logic "Combinatory logic"
https://zh.wikipedia.org/wiki/%E7%BB%84%E5%90%88%E5%AD%90%E9%80%BB%E8%BE%91 "组合子逻辑"
https://en.wikipedia.org/wiki/Kolmogorov_complexity "Kolmogorov complexity"
https://zh.wikipedia.org/wiki/%E6%9F%AF%E6%B0%8F%E5%A4%8D%E6%9D%82%E6%80%A7 "柯氏复杂性"
https://homepages.cwi.nl/~paulv/kolmogorov.html "An Introduction to Kolmogorov Complexity and Its Applications (柯尔莫戈罗夫复杂性及其应用简介: https://mitpressbookstore.mit.edu/book/{9780387339986,9781489984456,9783030112974}, https://www.amazon.com/Introduction-Kolmogorov-Complexity-Applications-Monographs/dp/{0387940537,0387948686,0387339981,1489984453,3030112977}/, https://link.springer.com/book/10.1007/{978-1-4757-2606-0,978-0-387-49820-1,978-3-030-11298-1}) (描述复杂性 ISBN:9787030059642)"
https://en.wikipedia.org/wiki/Andrey_Kolmogorov "Andrey Kolmogorov (Андрей Колмогоров)"
https://zh.wikipedia.org/wiki/%E5%AE%89%E5%BE%B7%E7%83%88%C2%B7%E6%9F%AF%E7%88%BE%E8%8E%AB%E5%93%A5%E6%B4%9B%E5%A4%AB "安德雷·柯尔莫哥洛夫 (Андрей Колмогоров)"
https://en.wikipedia.org/wiki/Lotka%E2%80%93Volterra_equations "Lotka–Volterra equations"
https://zh.wikipedia.org/wiki/%E6%B4%9B%E7%89%B9%E5%8D%A1-%E6%B2%83%E7%88%BE%E6%B3%B0%E6%8B%89%E6%96%B9%E7%A8%8B "洛特卡-沃尔泰拉方程"
https://en.wikipedia.org/wiki/Kolmogorov_axioms "Kolmogorov axioms (Probability axioms)"
https://zh.wikipedia.org/wiki/%E6%A9%9F%E7%8E%87%E5%85%AC%E8%A8%AD "概率公理 (柯尔莫哥洛夫公理)"
https://en.wikipedia.org/wiki/Intuitive_statistics "Intuitive statistics (folk statistics)"
https://en.wikipedia.org/wiki/Combinatorics "Combinatorics"
https://zh.wikipedia.org/wiki/%E7%BB%84%E5%90%88%E6%95%B0%E5%AD%A6 "组合数学"
https://home.nvg.org/~oerjan/esoteric/ "Esoteric programming languages"
need .desc