Aloïs Brunel

12 papers A 1B 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
Backpropagation in the simply typed lambda-calculus with linear negation.
Proc. ACM Program. Lang.
Aloïs Brunel, Damiano Mazza, Michele Pagani
2019 J jnl
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation.
CoRR
Aloïs Brunel, Damiano Mazza, Michele Pagani
2015 J jnl
Quantitative classical realizability.
Inf. Comput.
Aloïs Brunel
2015 J jnl
Realizability models for a linear dependent PCF.
Theor. Comput. Sci.
Aloïs Brunel, Marco Gaboardi
2014 A conf
A Core Quantitative Coeffect Calculus.
ESOP
Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic
2014 — —
The monitoring power of forcing program transformations. (Transformations de forcing et algèbres de monitoring)
Aloïs Brunel
2012 B conf
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints.
APLAS
Aloïs Brunel, Antoine Madet
2012 J jnl
Indexed realizability for bounded-time programming with references and type fixpoints
CoRR
Aloïs Brunel, Antoine Madet
2012 J jnl
Quantitative classical realizability
CoRR
Aloïs Brunel
2011 — conf
Non-constructive complex analysis in Coq.
TYPES
Aloïs Brunel
2011 — conf
Orthogonality and Boolean Algebras for Deduction Modulo.
TLCA
Aloïs Brunel, Olivier Hermant, Clément Houtmann
2010 — conf
Church => Scott = Ptime: an application of resource sensitive realizability
DICE
Aloïs Brunel, Kazushige Terui