Aloïs Brunel Homepage
Publications
Home
Talks
Studies
Publications
Coq
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
Powered by CoMFoRT !