On the public citation graph
Backpropagation in the simply typed lambda-calculus with linear negation
0 signed · 41 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-030-02508-3_3openalex-snapshot
Proof Nets and the Linear Substitution Calculus
inferredcites →https://doi.org/10.1007/978-3-540-45226-3_44openalex-snapshot
Quaternion Neural Network and Its Application
inferredcites →https://doi.org/10.1007/bf02551274openalex-snapshot
Approximation by superpositions of a sigmoidal function
inferredcites →https://doi.org/10.1016/0893-6080(91)90009-topenalex-snapshot
Approximation capabilities of multilayer feedforward networks
inferredcites →https://doi.org/10.1016/s0304-3975(03)00392-xopenalex-snapshot
The differential lambda-calculus
inferredcites →https://doi.org/10.1017/s0960129515000377openalex-snapshot
Classical lambda calculus in modern dress
inferredcites →https://doi.org/10.1017/s0960129516000372openalex-snapshot
An introduction to differential linear logic: proof-nets, models and antiderivatives
inferredcites →https://doi.org/10.1109/72.410363openalex-snapshot
Gradient calculations for dynamic recurrent neural networks: a survey
inferredcites →https://doi.org/10.1145/1330017.1330018openalex-snapshot
Reverse-mode AD in a functional framework
inferredcites →https://doi.org/10.1145/2766462.2767830openalex-snapshot
Twitter Sentiment Analysis with Deep Convolutional Neural Networks
inferredcites →https://doi.org/10.1145/3131851.3131855openalex-snapshot
Environments and the complexity of abstract machines
inferredcites →https://doi.org/10.1145/3341700openalex-snapshot
Demystifying differentiable programming: shift/reset the penultimate backpropagator
inferredcites →https://doi.org/10.1162/neco.1989.1.4.541openalex-snapshot
Backpropagation Applied to Handwritten Zip Code Recognition
inferredcites →https://doi.org/10.4230/lipics.rta.2012.6openalex-snapshot
An Abstract Factorization Theorem for Explicit Substitutions
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_3openalex-snapshot
On the Versatility of Open Logical Relations
inferred← citeshttps://doi.org/10.1007/978-3-030-45231-5_17openalex-snapshot
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_16openalex-snapshot
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_22openalex-snapshot
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
inferred← citeshttps://doi.org/10.1007/s10115-023-01894-7openalex-snapshot
Computer-aided diagnosis systems: a comparative study of classical machine learning versus deep learning-based approaches
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.09.027openalex-snapshot
Differential logical relations, part II increments and derivatives
inferred← citeshttps://doi.org/10.1017/s0956796825100051openalex-snapshot
Parallel dual-numbers reverse AD
inferred← citeshttps://doi.org/10.1017/s096012952300018xopenalex-snapshot
CHAD for expressive total languages
inferred← citeshttps://doi.org/10.1017/s0960129524000215openalex-snapshot
Automatic differentiation for ML-family languages: Correctness via logical relations
inferred← citeshttps://doi.org/10.1088/1757-899x/1072/1/012013openalex-snapshot
PCA effect on the 3D face recognition system speed
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175739openalex-snapshot
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175753openalex-snapshot
Taylor Expansion as a Monad in Models of DiLL
inferred← citeshttps://doi.org/10.1145/3471873.3472975openalex-snapshot
Parallelism-preserving automatic differentiation for second-order array languages
inferred← citeshttps://doi.org/10.1145/3527634openalex-snapshot
CHAD: Combinatory Homomorphic Automatic Differentiation
inferred← citeshttps://doi.org/10.1145/3531130.3533370openalex-snapshot
Concrete categories and higher-order recursion
inferred← citeshttps://doi.org/10.1145/3571198openalex-snapshot
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
inferred← citeshttps://doi.org/10.1145/3571236openalex-snapshot
You Only Linearize Once: Tangents Transpose to Gradients
inferred← citeshttps://doi.org/10.1145/3571247openalex-snapshot
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations
inferred← citeshttps://doi.org/10.1145/3708493.3712685openalex-snapshot
MimIrADe: Automatic Differentiation in MimIR
inferred← citeshttps://doi.org/10.1145/3747524openalex-snapshot
Correctness Meets Performance: From Agda to Futhark
inferred← citeshttps://doi.org/10.1145/3776654openalex-snapshot
JAX Autodiff from a Linear Logic Perspective
inferred← citeshttps://doi.org/10.5281/zenodo.31430openalex-snapshot
The Evolvdso Project: Key Services For The Evolution Of Dsos Roles
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.