Aloïs Brunel

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Backpropagation in the simply typed lambda-calculus with linear negation.
Proc. ACM Program. Lang., 2020

2015
Realizability models for a linear dependent PCF.
Theor. Comput. Sci., 2015

Quantitative classical realizability.
Inf. Comput., 2015

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

A Core Quantitative Coeffect Calculus.
Proceedings of the Programming Languages and Systems, 2014

2012
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Non-constructive complex analysis in Coq.
Proceedings of the 18th International Workshop on Types for Proofs and Programs, 2011

Orthogonality and Boolean Algebras for Deduction Modulo.
Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2010
Church => Scott = Ptime: an application of resource sensitive realizability
Proceedings of the Proceedings International Workshop on Developments in Implicit Computational complExity, 2010


  Loading...