Publications

Aloïs Brunel and Kazushige Terui

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

Electronic Proceedings in Theoretical Computer Science , Vol. 23 , 2010

[PDF]
Aloïs Brunel, Olivier Hermant and Clément Houtmann

Orthogonality and Boolean Algebras for Deduction Modulo

To appear in Proc. TLCA 2011 , 2011