Graphic lambda calculus

Complex Systems

Volumn 22, Issue 4, 2013, Pages 311-360

  Buliga, Marius ^a  

^a INSTITUTE OF MATHEMATICS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; VISUAL LANGUAGES;

LAMBDA CALCULUS; UNTYPED LAMBDA CALCULUS;

DIFFERENTIATION (CALCULUS);

EID: 84897398682     PISSN: 08912513     EISSN: None     Source Type: Journal    
DOI: 10.25088/complexsystems.22.4.311     Document Type: Article

References (21)

1. M. Erwig, "Abstract Syntax and Semantics of Visual Languages, " Journal of Visual Languages and Computing, 9(5), 1998 pp. 461-483. doi: 10. 1006/jvlc. 1998. 0098.
2. W. Citrin, R. Hall, and B. Zorn, "Programming with Visual Expressions, " Proceedings of the 11th IEEE Symposium on Visual Languages, Darmstadt, 1995 pp. 294-301. doi: 10. 1109/VL. 1995. 520822.
3. D. C. Keenan. "To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction. " (Oct 2, 2013) http://dkeenan. com/Lambda.
4. R. Fenn and C. Rourke, "Racks and Links in Codimension Two, " Journal of Knot Theory and its Ramifications, 1(4), 1992 pp. 343-406.
5. D. Joyce, "A Classifying Invariant of Knots; the Knot Quandle, " Journal of Pure and Applied Algebra, 23(1), 1982 pp. 37-65. doi: 10. 1016/0022-4049(82)90077-9.
6. L. Kauffman (ed.), Knot Logic: Knots and Applications (Series on Knots and Everything, Vol. 6), River Edge, NJ: World Scientific, 1995.
7. L. G. Meredith and D. F. Snyder, "Knots as Processes: A New Kind of Invariant. " http://arxiv. org/abs/1009. 2107.
8. M. Buliga, "l-Scale, a Lambda Calculus for Spaces with Dilations. " http://arxiv. org/abs/1205.0139.
9. M. Buliga, "Computing with Space: A Tangle Formalism for Chora and Difference. " http://arxiv. org/abs/1103.6007.
10. J. J. Koenderink, "The Brain a Geometry Engine, " Psychological Research, 52(2-3), 1990 pp. 122-127.
11. D. P. Thurston, "The Algebra of Knotted Trivalent Graphs and Turaev's Shadow World. " http://arxiv. org/abs/math/0311458.
12. M. Buliga, "Emergent Algebras. " http://arxiv. org/abs/0907. 1520.
13. M. Buliga, "Braided Spaces with Dilations and sub-Riemannian Symmetric Spaces, " in Geometry. Exploratory Workshop on Differential Geometry and its Applications (D. Andrica and S. Moroianu, eds.), Cluj-Napoca, Romania: Cluj University Press, 2011 pp. 21-35. http://arxiv. org/abs/1005. 5031.
14. M. Buliga, "Dilatation Structures I. Fundamentals, " Journal of Generalized Lie Theory and Applications, 1(2), 2007 pp. 65-95. http://arxiv. org/abs/math/0608536.
15. A. Bellaïche, "The Tangent Space in sub-Riemannian Geometry, " in Sub-Riemannian Geometry (A. Bellaïche and J.-J. Risler, eds.), Progress in Mathematics, 144, Boston: Birkhäuser, 1996 pp. 4-78.
16. M. Gromov, "Carnot-Carathéodory Spaces Seen from Within, " in Sub-Riemannian Geometry (A. Bellaïche and J.-J. Risler, eds.), Progress in Mathematics, 144, Boston: Birkhäuser, 1996 pp. 79-323.
17. P. Pansu, "Métriques de Carnot-Carathéodory et quasi-isométries des espaces symétriques de rang un, " Annals of Mathematics, 129(2), 1989 pp. 1-60.
18. H. Glöckner, "Contractible Lie Groups over Local Fields, " Mathematische Zeitschrift, 260(4), 2008 pp. 889-904. doi: 10. 1007/s00209-008-0305-x.
19. E. Siebert, "Contractive Automorphisms on Locally Compact Groups, " Mathematische Zeitschrift, 191(1), 1986 pp. 73-90. doi: 10. 1007/BF01163611.
20. M. Polyak, "Minimal Generating Sets of Reidemeister Moves. " http://arxiv. org/abs/0908.3127.
21. M. Buliga. "Oriented Reidemeister Move R2d by Splices and Loop Adding/Erasing?" MathOverflow. (Oct 2, 2013) mathoverflow. net/questions/128511.