Aloïs Brunel

发表

Non-constructive complex analysis in Coq

Aloïs Brunel, Aloïs Brunel, 2011, TYPES.

A Core Quantitative Coeffect Calculus

Marco Gaboardi, Damiano Mazza, Steve Zdancewic, 2014, ESOP.

The monitoring power of forcing transformations

Aloïs Brunel, 2014 .

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

Antoine Madet, Aloïs Brunel, 2012, APLAS.

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

Kazushige Terui, Aloïs Brunel, 2010, DICE.

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

Aloïs Brunel, 2014 .

Realizability models for a linear dependent PCF

Marco Gaboardi, Aloïs Brunel, 2015, Theor. Comput. Sci..

Orthogonality and Boolean Algebras for Deduction Modulo

Olivier Hermant, Clément Houtmann, Aloïs Brunel, 2011, TLCA.