Aloïs Brunel

According to our database, Aloïs Brunel authored at least 9 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Backpropagation in the simply typed lambda-calculus with linear negation.

Aloïs Brunel, Damiano Mazza, Michele Pagani

Proc. ACM Program. Lang., 2020

2015

Realizability models for a linear dependent PCF.

Aloïs Brunel, Marco Gaboardi

Theor. Comput. Sci., 2015

Quantitative classical realizability.

Aloïs Brunel

Inf. Comput., 2015

2014

The monitoring power of forcing program transformations. (Transformations de forcing et algèbres de monitoring)

Aloïs Brunel

PhD thesis, 2014

A Core Quantitative Coeffect Calculus.

Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic

Proceedings of the Programming Languages and Systems, 2014

2012

Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints.

Aloïs Brunel, Antoine Madet

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Non-constructive complex analysis in Coq.

Aloïs Brunel

Proceedings of the 18th International Workshop on Types for Proofs and Programs, 2011

Orthogonality and Boolean Algebras for Deduction Modulo.

Aloïs Brunel, Olivier Hermant, Clément Houtmann

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2010

Church => Scott = Ptime: an application of resource sensitive realizability

Aloïs Brunel, Kazushige Terui

Proceedings of the Proceedings International Workshop on Developments in Implicit Computational complExity, 2010