Добірка наукової літератури з теми "Arrow Calculus"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Arrow Calculus".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Arrow Calculus":
LINDLEY, SAM, PHILIP WADLER, and JEREMY YALLOP. "The arrow calculus." Journal of Functional Programming 20, no. 1 (January 2010): 51–69. http://dx.doi.org/10.1017/s095679680999027x.
Reeder, Patrick. "Zeno’s arrow and the infinitesimal calculus." Synthese 192, no. 5 (January 10, 2015): 1315–35. http://dx.doi.org/10.1007/s11229-014-0620-1.
Meilhan, Jean-Baptiste, and Akira Yasuhara. "Arrow calculus for welded and classical links." Algebraic & Geometric Topology 19, no. 1 (February 6, 2019): 397–456. http://dx.doi.org/10.2140/agt.2019.19.397.
Mărășoiu, Andrei. "Is the Arrow’s Flight a Process?" Studii de istorie a filosofiei universale 31 (December 30, 2023): 113–21. http://dx.doi.org/10.59277/sifu.2023.09.
Östlund, Olof-Petter. "A diagrammatic approach to link invariants of finite degree." MATHEMATICA SCANDINAVICA 94, no. 2 (June 1, 2004): 295. http://dx.doi.org/10.7146/math.scand.a-14444.
Thomas, Sebastian. "On the 3-arrow calculus for homotopy categories." Homology, Homotopy and Applications 13, no. 1 (2011): 89–119. http://dx.doi.org/10.4310/hha.2011.v13.n1.a5.
Tymofieiev, Oleksii, and Olha Cherniak. "Ultrasound in the Detection of Floating Sialoliths." Journal of Diagnostics and Treatment of Oral and Maxillofacial Pathology 3, no. 8 (August 31, 2019): 196–97. http://dx.doi.org/10.23999/j.dtomp.2019.8.2.
PEARCE, DAVID W. "Benefit-cost analysis, environment, and health in the developed and developing world." Environment and Development Economics 2, no. 2 (May 1997): 195–221. http://dx.doi.org/10.1017/s1355770x97250163.
Nguyen, Manh-Hung, and Phu Nguyen-Van. "OPTIMAL ENDOGENOUS GROWTH WITH NATURAL RESOURCES: THEORY AND EVIDENCE." Macroeconomic Dynamics 20, no. 8 (April 8, 2016): 2173–209. http://dx.doi.org/10.1017/s1365100515000061.
Bodie, Zvi. "Robert C. Merton and the Science of Finance." Annual Review of Financial Economics 11, no. 1 (December 26, 2019): 1–20. http://dx.doi.org/10.1146/annurev-financial-011019-040506.
Дисертації з теми "Arrow Calculus":
Graff, Emmanuel. ""Link-homotopy" in low dimensional topology." Electronic Thesis or Diss., Normandie, 2023. http://www.theses.fr/2023NORMC244.
This thesis explores low-dimensional topology, with a focus on knot theory. Knot theory is dedicated to the study of knots as commonly understood: a piece of string tied in space or, more generally, links formed by taking several pieces of string. Knots and links are studied up to deformation, for example, up to isotopy, which involves manipulations that do not require cutting or passing the string through itself. This thesis explores link-homotopy, a more flexible equivalence relation where distinct components remain disjoint, but a single component can self-intersect. The theory of claspers, powerful tools of surgery, is developed up to link-homotopy. Their use allows for a geometric proof of the classification of links with 4 components or less up to link-homotopy. Special attention is then given to braids, mathematical objects related to knots and links. It is shown that the homotopy braid group is linear, meaning it is faithfully represented by a subgroup of matrices. New group presentations are also proposed. Finally, it is established that the homotopy braid group is torsion-free for any number of components. This last result draws upon the broader context of welded knot theory
Частини книг з теми "Arrow Calculus":
Vizzotto, Juliana Kaizer, André Rauber Du Bois, and Amr Sabry. "The Arrow Calculus as a Quantum Programming Language." In Logic, Language, Information and Computation, 379–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02261-6_30.
Leydesdorff, Loet. "Towards a Calculus of Redundancy." In Qualitative and Quantitative Analysis of Scientific and Scholarly Communication, 67–86. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-59951-5_4.
Mancosu, Paolo, Sergio Galvan, and Richard Zach. "The sequent calculus." In An Introduction to Proof Theory, 167–201. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780192895936.003.0005.
McLarty, Colin. "Synthetic differential geometry." In Elementary Categories, Elementary Toposes, 219–28. Oxford University PressOxford, 1992. http://dx.doi.org/10.1093/oso/9780198533924.003.0024.