Aloïs Brunel

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 2

Top Topics

Backpropagation Neural Networks

Classical Methods

Quantitative And Qualitative

Top Venues

Proc. ACM Program. Lang.

Paris 13 University, Villetaneuse, Saint-Denis, Bobigny, France (PHD)

Education History

Paris 13 University, Villetaneuse, Saint-Denis, Bobigny, France

PHD

Publications

Aloïs Brunel, Damiano Mazza, Michele Pagani
Backpropagation in the simply typed lambda-calculus with linear negation. Proc. ACM Program. Lang. 4 (POPL) (2020)
Aloïs Brunel, Damiano Mazza, Michele Pagani
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation. CoRR (2019)
Aloïs Brunel
Quantitative classical realizability. Inf. Comput. 241 (2015)
Aloïs Brunel, Marco Gaboardi
Realizability models for a linear dependent PCF. Theor. Comput. Sci. 585 (2015)
Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic
A Core Quantitative Coeffect Calculus. ESOP (2014)
Aloïs Brunel
Quantitative classical realizability CoRR (2012)
Aloïs Brunel, Antoine Madet
Indexed realizability for bounded-time programming with references and type fixpoints CoRR (2012)
Aloïs Brunel, Antoine Madet
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints. APLAS (2012)
Aloïs Brunel
Non-constructive complex analysis in Coq. TYPES (2011)
Aloïs Brunel, Olivier Hermant, Clément Houtmann
Orthogonality and Boolean Algebras for Deduction Modulo. TLCA (2011)
Aloïs Brunel, Kazushige Terui
Church => Scott = Ptime: an application of resource sensitive realizability DICE (2010)