Relevant bibliographies by topics / Arrow Calculus

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Arrow Calculus'

Author: Grafiati
Published: 7 July 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Arrow Calculus.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Arrow Calculus"

1

LINDLEY, SAM, PHILIP WADLER, and JEREMY YALLOP. "The arrow calculus." Journal of Functional Programming 20, no. 1 (2010): 51–69. http://dx.doi.org/10.1017/s095679680999027x.

Full text
Abstract:
AbstractWe introduce the arrow calculus, a metalanguage for manipulating Hughes's arrows with close relations both to Moggi's metalanguage for monads and to Paterson's arrow notation. Arrows are classically defined by extending lambda calculus with three constructs satisfying nine (somewhat idiosyncratic) laws; in contrast, the arrow calculus adds four constructs satisfying five laws (which fit two well-known patterns). The five laws were previously known to be sound; we show that they are also complete, and hence that the five laws may replace the nine.
APA, Harvard, Vancouver, ISO, and other styles
2

Reeder, Patrick. "Zeno’s arrow and the infinitesimal calculus." Synthese 192, no. 5 (2015): 1315–35. http://dx.doi.org/10.1007/s11229-014-0620-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Meilhan, Jean-Baptiste, and Akira Yasuhara. "Arrow calculus for welded and classical links." Algebraic & Geometric Topology 19, no. 1 (2019): 397–456. http://dx.doi.org/10.2140/agt.2019.19.397.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Östlund, Olof-Petter. "A diagrammatic approach to link invariants of finite degree." MATHEMATICA SCANDINAVICA 94, no. 2 (2004): 295. http://dx.doi.org/10.7146/math.scand.a-14444.

Full text
Abstract:
In [5] M. Polyak and O. Viro developed a graphical calculus of diagrammatic formulas for Vassiliev link invariants, and presented several explicit formulas for low degree invariants. M. Goussarov [2] proved that this arrow diagram calculus provides formulas for all Vassiliev knot invariants. The original note [5] contained no proofs, and it also contained some minor inaccuracies. This paper fills the gap in literature by presenting the material of [5] with all proofs and details, in a self-contained form. Furthermore, a compatible coalgebra structure, related to the connected sum of knots, is
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
Zeno’s famous arrow’s paradox has troubled philosophers for a long time. In the aftermath of Russell’s discussion of the paradox in terms of the calculus, I argue that the paradox leaves a lingering question as to how our everyday, pre-theoretical notions of the motion of objects (such as arrows) intermesh with the mathematical physics thought to fully account for them. Starting from Russell and Salmon’s reformulations of the arrow paradox in terms of ‘at-at’ theories of motion, I argue that such solutions can only account for our pre-theoretical intuitions if supplemented ontologically, by so
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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 (2019): 196–97. http://dx.doi.org/10.23999/j.dtomp.2019.8.2.

Full text
Abstract:
A 36-year-old man with a 3-year history of recurrent salivary colic was referred to a maxillofacial surgery department. Gray scale ultrasound (US) showed enlarged right submandibular gland, significantly dilated intraglandular duct with two sialoliths (with an artifact of acoustic shadowing) inside, one – floating (Video-Panel A and B, arrow) and another – nonmovable (arrowhead). Left nonsymptomatic normal in size gland (asterisk) is showed at Panel C. The affected gland was excised under general anesthesia due to the diagnosis of chronic submandibular obstructive sialolithiasis. Intraglandula
APA, Harvard, Vancouver, ISO, and other styles
8

PEARCE, DAVID W. "Benefit-cost analysis, environment, and health in the developed and developing world." Environment and Development Economics 2, no. 2 (1997): 195–221. http://dx.doi.org/10.1017/s1355770x97250163.

Full text
Abstract:
Arrow et al. revisit the case for using benefit-cost analysis in a developed country, the USA, where markets work reasonably efficiently and where the capacity to implement such studies is undoubted. Their recommendations deserve wholehearted support in that context, particularly their recommendation 1 calling for a comparison of gains and losses from regulatory actions. Those who have not worked in government will recognise that most decisions are not in fact made with any form of calculus that we might describe as 'cost benefit thinking'. Indeed, the whole process of policy priority setting
APA, Harvard, Vancouver, ISO, and other styles
9

Choudhury, Vikraman, та Simon J. Gay. "The Duality of λ-Abstraction". Proceedings of the ACM on Programming Languages 9, POPL (2025): 332–61. https://doi.org/10.1145/3704848.

Full text
Abstract:
In this paper, we develop and study the following perspective -- just as higher-order functions give exponentials, higher-order continuations give coexponentials. From this, we design a language that combines exponentials and coexponentials, producing a duality of lambda abstraction. We formalise this language by giving an extension of a call-by-value simply-typed lambda-calculus with covalues, coabstraction, and coapplication. We develop the semantics of this language using the axiomatic structure of continuations, which we use to produce an equational theory, that gives a complete axiomatisa
APA, Harvard, Vancouver, ISO, and other styles
10

Nguyen, Manh-Hung, and Phu Nguyen-Van. "OPTIMAL ENDOGENOUS GROWTH WITH NATURAL RESOURCES: THEORY AND EVIDENCE." Macroeconomic Dynamics 20, no. 8 (2016): 2173–209. http://dx.doi.org/10.1017/s1365100515000061.

Full text
Abstract:
This paper considers an optimal endogenous growth model where the production function is assumed to exhibit increasing returns to scale and two types of resource (renewable and nonrenewable) are imperfect substitutes. Natural resources, labor, and physical capital are used in the final goods sector and in the accumulation of knowledge. Based on results in the calculus of variations, a direct proof of the existence of an optimal solution is provided. Analytical solutions for the planner case, balanced growth paths, and steady states are found for a specific CRRA utility and Cobb–Douglas product
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Arrow Calculus"

1

Graff, Emmanuel. ""Link-homotopy" in low dimensional topology." Electronic Thesis or Diss., Normandie, 2023. http://www.theses.fr/2023NORMC244.

Full text
Abstract:
Ce mémoire explore la topologie de basse dimension, en mettant l'accent sur la théorie des nœuds. Une théorie consacrée à l'étude des nœuds tels qu'ils sont communément compris : des morceaux de ficelle enroulés dans l'espace ou, de manière plus générale, des entrelacs formés en prenant plusieurs bouts de ficelle. Les nœuds et les entrelacs sont étudiés à déformation près, par exemple, à isotopie près, ce qui implique des manipulations sans couper ni faire passer la ficelle à travers elle-même. Cette thèse explore la link-homotopie, une relation d'équivalence plus souple où des composantes dis
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Arrow Calculus"

1

Vizzotto, Juliana Kaizer, André Rauber Du Bois, and Amr Sabry. "The Arrow Calculus as a Quantum Programming Language." In Logic, Language, Information and Computation. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02261-6_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Leydesdorff, Loet. "Towards a Calculus of Redundancy." In Qualitative and Quantitative Analysis of Scientific and Scholarly Communication. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-59951-5_4.

Full text
Abstract:
AbstractIn this chapter, I extend Shannon’s linear model of communication into a model in which communication is differentiated both vertically and horizontally (Simon, 1973). Following Weaver (1949), three layers are distinguished operating in relation to one another: (i) at level A, the events are sequenced historically along the arrow of time, generating Shannon-type information (that is, uncertainty); (ii) the incursion of meanings at level B is referential to (iii) horizons of meaning spanned by codes in the communication at level C. In other words, relations at level A are first distingu
APA, Harvard, Vancouver, ISO, and other styles
3

Schorlemmer, Marco, Mohamad Ballout, and Kai-Uwe Kühnberger. "Generating Qualitative Descriptions of Diagrams with a Transformer-Based Language Model." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-71291-3_5.

Full text
Abstract:
AbstractTo address the task of diagram understanding we propose to distinguish between the perception of the geometric configuration of a diagram from the assignment of meaning to the geometric entities and their topological relationships. As a consequence, diagram parsing does not need to assume any particular a priori interpretations of diagrams and their constituents. Focussing on Euler diagrams, we tackle the first of these subtasks—that of identifying the geometric entities that constitute a diagram (i.e., circles, rectangles, lines, arrows, etc.) and their topological relations—as an ima
APA, Harvard, Vancouver, ISO, and other styles
4

Mancosu, Paolo, Sergio Galvan, and Richard Zach. "The sequent calculus." In An Introduction to Proof Theory. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780192895936.003.0005.

Full text
Abstract:
In addition to natural deduction, Gentzen developed a different calculus, called the sequent calculus. A sequent is a configuration presenting an arrow symbol (⇒) flanked on the left and on the right by finite sequences of formulas, possibly empty. The sequent calculus is developed, with examples of how to prove statements in the calculus, and a few results about transforming proofs through variable replacements are proved. Proofs in the intuitionistic sequent calculus can be translated into natural deductions, and vice versa (this system is obtained by restricting sequents to those that have
APA, Harvard, Vancouver, ISO, and other styles
5

McLarty, Colin. "Synthetic differential geometry." In Elementary Categories, Elementary Toposes. Oxford University PressOxford, 1992. http://dx.doi.org/10.1093/oso/9780198533924.003.0024.

Full text
Abstract:
Abstract The synthetic differential geometry axioms (SDG) describe a topos in which each object has a differentiable structure, each arrow has a derivative, and the basic rules of calculus are simple calculations with infinitesimals. For this chapter we assume that we have a particular topos Spaces that satisfies the axioms. We refer to objects of Spaces as spaces, to its arrows as maps, and to global elements p: 1→.M aspoints of the space M.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Arrow Calculus"

1

de Souza, Matheus Kayky Pereira, Rafael da Silva Chaves, Letícia da Silva Oliveira, et al. "AVALIAÇÃO DO RESTO INGESTA EM UM RESTAURANTE UNIVERSITÁRIO EM BELÉM-PA." In I Congresso Internacional Multidisciplinar (I CIM). Seven Congress, 2024. https://doi.org/10.56238/i-cim-050.

Full text
Abstract:
O resto-ingesta é a relação entre os restos de comida deixados nas bandejas/pratos pelos usuários e a quantidade de alimentos produzidos, expressa em percentual. Essa medida é usada para implementar ações de racionalização e redução de desperdício. O objetivo deste estudo foi analisar o índice de resto-ingesta em uma Unidade de Alimentação e Nutrição (UAN) de um Restaurante Universitário (RU) em Belém–PA, que serve cerca de 6.500 refeições/dia. Durante 18 dias, entre os meses de novembro e dezembro de 2023, foram pesadas as preparações e os restos de alimentos devolvidos pelos clientes. Os dad
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Arrow Calculus' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography