Results 1 to 10 of about 211,321 (287)
Acyclic Solos and Differential Interaction Nets [PDF]
Logical Methods in Computer Science, 2010 We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of ...
Thomas Ehrhard, Olivier Laurent
doaj +4 more sources
Completeness of algebraic CPS simulations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms.
Ali Assaf, Simon Perdrix
doaj +6 more sources
Cartesian Difference Categories [PDF]
Logical Methods in Computer Science, 2021 Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth functions and ...
Mario Alvarez-Picallo +1 more
doaj +1 more source
A coherent differential PCF [PDF]
Logical Methods in Computer Science, 2023 The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions.
Thomas Ehrhard
doaj +1 more source
Covariantization of quantized calculi over quantum groups [PDF]
Mathematica Bohemica, 2020 We introduce a method for construction of a covariant differential calculus over a Hopf algebra $A$ from a quantized calculus $da=[D,a]$, $a\in A$, where $D$ is a candidate for a Dirac operator for $A$.
Seyed Ebrahim Akrami, Shervin Farzi
doaj +1 more source
A primer on exterior differential calculus [PDF]
Theoretical and Applied Mechanics, 2003 A pedagogical application-oriented introduction to the calculus of exterior differential forms on differential manifolds is presented. Stokes' theorem, the Lie derivative, linear connections and their curvature, torsion and non-metricity are discussed.
Burton D.A.
doaj +1 more source
THE ROLE OF BELIEF MATHEMATICS ON STUDENTS' LEARNING OUTCOMES IN DIFFERENTIAL CALCULUS COURSES
Prima: Jurnal Pendidikan Matematika, 2022 The subjects in this study were second semester students of 2020/2021 mathematics education study program, Universitas Muhammadiyah Tangerang. The purpose of this study was to find out how big the role of mathematical belief in student learning outcomes ...
Muhammad Arie Firmansyah +1 more
doaj +1 more source
A note on the differential calculus of Hochschild theory for $ A_{\infty} $-algebras
Electronic Research Archive, 2022 We show by constructing explicit homotopy operators that the Hochschild (co)homology of an $ A_{\infty} $-algebra of Stasheff admits a differential calculus structure.
Youming Chen, Weiguo Lyu , Song Yang
doaj +1 more source
Covariant four dimensional differential calculus in κ-Minkowski
Physics Letters B, 2022 It is generally believed that it is not possible to have a four dimensional differential calculus in κ-Minkowski spacetime, with κ-Poincaré relativistic symmetries, covariant under (κ-deformed) Lorentz transformations.
Giacomo Rosati
doaj +1 more source
Modules over monads and operational semantics (expanded version) [PDF]
Logical Methods in Computer Science, 2022 This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi.
André Hirschowitz +2 more
doaj +1 more source