The difference λ-calculus: a language for difference categories

The difference λ-calculus: a language for difference categories

Cartesian difference categories are a recent generalisation of Cartesian differential categories which introduce a notion of "infinitesimal" arrows satisfying an analogue of the Kock-Lawvere axiom, with the axioms of a Cartesian differential category being satisfied only "up to an inf...

Detaylı Bibliyografya
Asıl Yazarlar:	Alvarez-Picallo, M, Ong, CL
Materyal Türü:	Conference item
Dil:	English
Baskı/Yayın Bilgisi:	Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020

Benzer Materyaller

Cartesian Difference Categories
Yazar:: Mario Alvarez-Picallo, ve diğerleri
Baskı/Yayın Bilgisi: (2021-09-01)

Automata, logic and games for the λ-calculus
Yazar:: Ong, C
Baskı/Yayın Bilgisi: (2016)

Full Abstraction in the Lazy λ−calculus
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

The Lazy λ−Calculus
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1990)

Hereditary Substitution for the λΔ-Calculus
Yazar:: Harley Eades, ve diğerleri
Baskı/Yayın Bilgisi: (2013-09-01)

Games and Full Abstraction for the Lazy λ−calculus
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Study of degenerate derangement polynomials by λ-umbral calculus
Yazar:: Yun Sang Jo, ve diğerleri
Baskı/Yayın Bilgisi: (2023-06-01)

Rewriting Modulo β in the λΠ-Calculus Modulo
Yazar:: Ronan Saillard
Baskı/Yayın Bilgisi: (2015-07-01)

Is different Λ and Λ¯ polarization caused by different spatio-temporal freeze-out picture?
Yazar:: O. Vitiuk, ve diğerleri
Baskı/Yayın Bilgisi: (2020-04-01)

Fully Complete Minimal PER Models for the Simply Typed λ−calculus
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Difference calculus /
Yazar:: 206557 Goel, B. S., ve diğerleri
Baskı/Yayın Bilgisi: ([19-)

On Durrmeyer Type λ-Bernstein Operators via (p, q)-Calculus
Yazar:: Qing-Bo Cai, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

Investigating different Λ and Λ¯ polarizations in relativistic heavy-ion collisions
Yazar:: Zhang-Zhu Han, ve diğerleri
Baskı/Yayın Bilgisi: (2018-11-01)

Calculus of finite differences/
Yazar:: Boole, George, 1815-1864
Baskı/Yayın Bilgisi: (1958)

Calculus of finite differences/
Yazar:: 354842 Gelfond, A. O.
Baskı/Yayın Bilgisi: (1971)

The calculus of finite differences /
Yazar:: Milne-Thomson, Louis Melville, 1891-
Baskı/Yayın Bilgisi: (1960)

Calculus of finite differences
Yazar:: 406395 Jordan , Charles
Baskı/Yayın Bilgisi: (1979)

Calculus of finite differences
Yazar:: 406395 Jordan , Charles
Baskı/Yayın Bilgisi: (1960)

<title language="eng">Sum and Difference Compositions in Discrete Fractional Calculus
Yazar:: Michael Holm
Baskı/Yayın Bilgisi: (2011-10-01)

Categorial differences between religious and scientific language: The agency of God
Yazar:: Luco J. van den Brom
Baskı/Yayın Bilgisi: (2023-08-01)

Some identities of degenerate higher-order Daehee polynomials based on λ-umbral calculus
Yazar:: Dojin Kim, ve diğerleri
Baskı/Yayın Bilgisi: (2023-03-01)

Poisson λ-brackets for Differential–Difference Equations
Yazar:: De Sole, Alberto, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Expression of the status of the categories of emotiveness and evaluation in the languages of different types (the Russian and Arabic languages)
Yazar:: V S Elyseyev
Baskı/Yayın Bilgisi: (2010-12-01)

Expression of voice relation in the languages of different structure: is there a category of voice in Hungarian?
Yazar:: Antonina P. Guskova
Baskı/Yayın Bilgisi: (2022-04-01)

Fully abstract models for effectful λ-calculi via category-theoretic logical relations
Yazar:: Kammar, O, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Handbook of calculus, difference, and differential equations /
Yazar:: 315828 Cogan, Edward Jack, ve diğerleri
Baskı/Yayın Bilgisi: (1958)

Different Categories of Business Risk
Yazar:: Ioana-Veronica ALEXA, ve diğerleri
Baskı/Yayın Bilgisi: (2012-08-01)

Different Categories of Business Risk
Yazar:: Simona-Valeria TOMA, ve diğerleri
Baskı/Yayın Bilgisi: (2011-11-01)

On the existence and uniqueness of (N,λ) $(N,\lambda )$-periodic solutions to a class of Volterra difference equations
Yazar:: Edgardo Alvarez, ve diğerleri
Baskı/Yayın Bilgisi: (2019-03-01)

Calculus /
Yazar:: 170506 How, Guan Aun, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus
Yazar:: Emmanuel Jeandel, ve diğerleri
Baskı/Yayın Bilgisi: (2018-02-01)

Change actions: models of generalised differentiation
Yazar:: Ong, C, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Different Levels of Category Abstraction by Different Dynamics in Different Prefrontal Areas
Yazar:: Wutz, Andreas, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Defining and Analyzing New Classes Associated with (<i>λ</i>,<i>γ</i>)-Symmetrical Functions and Quantum Calculus
Yazar:: Hanen Louati, ve diğerleri
Baskı/Yayın Bilgisi: (2024-08-01)

Some new concepts in fuzzy calculus for up and down λ-convex fuzzy-number valued mappings and related inequalities
Yazar:: Muhammad Bilal Khan, ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

Semantic priming of different affective categories.
Yazar:: Rossell, S, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Quantifying the Differences Between Lexical Categories
Yazar:: Brett Reynolds
Baskı/Yayın Bilgisi: (2021-08-01)

Categories and the Language of Metaphysics
Yazar:: Mirco Sambrotta
Baskı/Yayın Bilgisi: (2019-05-01)

Measurement of the Λb lifetime in the exclusive decay Λb→J/ψΛ
Yazar:: Abazov, V, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Possible molecular bound states: ΛcN and ΛcΛc
Yazar:: Meguro Wakafumi, ve diğerleri
Baskı/Yayın Bilgisi: (2012-02-01)