Folgen
Aloïs Brunel
Aloïs Brunel
Deepomatic
Bestätigte E-Mail-Adresse bei deepomatic.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A Core Quantitative Coeffect Calculus.
A Brunel, M Gaboardi, D Mazza, S Zdancewic
ESOP 8410, 351-370, 2014
942014
Backpropagation in the simply typed lambda-calculus with linear negation
A Brunel, D Mazza, M Pagani
Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019
432019
Church=> Scott= Ptime: an application of resource sensitive realizability
A Brunel, K Terui
arXiv preprint arXiv:1005.0524, 2010
222010
Quantitative classical realizability
A Brunel
Information and Computation 241, 62-95, 2015
152015
Non-constructive complex analysis in Coq
A Brunel
18th International Workshop on Types for Proofs and Programs (TYPES 2011), 2013
62013
Indexed realizability for bounded-time programming with references and type fixpoints
A Brunel, A Madet
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012
62012
The monitoring power of forcing transformations
A Brunel
Université Paris-Nord-Paris XIII, 2014
52014
Orthogonality and Boolean Algebras for Deduction Modulo.
A Brunel, O Hermant, C Houtmann
TLCA 6690, 76-90, 2011
52011
Realizability models for a linear dependent PCF
A Brunel, M Gaboardi
Theoretical Computer Science 585, 55-70, 2015
22015
The monitoring power of forcing program transformations
A Brunel
Université Paris 13, 2014
22014
Transformations de «forcing» et algèbres de «monitoring»
A Brunel
PhD thesis, 2014
22014
Candidats de réductibilité quantitatifs et logique linéaire élémentaire modulo
A BRUNEL
Mars, 2010
2010
La téléportation quantique comme primitive universelle de calcul
A Brunel
2009
Implementing a differentiable programming framework based on linear logic and functional programming
M Pagani, A Brunel, D Mazza, M Frederic
Light forcing, Krivine’s classical realizability and the timeout effect
A BRUNEL
Realizability and implicit PTIME characterization
A Brunel
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16