Letteratura scientifica selezionata sul tema "Arrow Calculus"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Arrow Calculus".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "Arrow Calculus":
LINDLEY, SAM, PHILIP WADLER e JEREMY YALLOP. "The arrow calculus". Journal of Functional Programming 20, n. 1 (gennaio 2010): 51–69. http://dx.doi.org/10.1017/s095679680999027x.
Reeder, Patrick. "Zeno’s arrow and the infinitesimal calculus". Synthese 192, n. 5 (10 gennaio 2015): 1315–35. http://dx.doi.org/10.1007/s11229-014-0620-1.
Meilhan, Jean-Baptiste, e Akira Yasuhara. "Arrow calculus for welded and classical links". Algebraic & Geometric Topology 19, n. 1 (6 febbraio 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 (30 dicembre 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, n. 2 (1 giugno 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, n. 1 (2011): 89–119. http://dx.doi.org/10.4310/hha.2011.v13.n1.a5.
Tymofieiev, Oleksii, e Olha Cherniak. "Ultrasound in the Detection of Floating Sialoliths". Journal of Diagnostics and Treatment of Oral and Maxillofacial Pathology 3, n. 8 (31 agosto 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, n. 2 (maggio 1997): 195–221. http://dx.doi.org/10.1017/s1355770x97250163.
Nguyen, Manh-Hung, e Phu Nguyen-Van. "OPTIMAL ENDOGENOUS GROWTH WITH NATURAL RESOURCES: THEORY AND EVIDENCE". Macroeconomic Dynamics 20, n. 8 (8 aprile 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, n. 1 (26 dicembre 2019): 1–20. http://dx.doi.org/10.1146/annurev-financial-011019-040506.
Tesi sul tema "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
Capitoli di libri sul tema "Arrow Calculus":
Vizzotto, Juliana Kaizer, André Rauber Du Bois e 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 e 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.