Emmanuel Polonowski

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Classical Logic

Automatically Generate

Top Venues

J. Log. Algebraic Methods Program.

Publications

Emmanuel Polonowski
Automatically Generated Infrastructure for De Bruijn Syntaxes. ITP (2013)
Tristan Crolard, Emmanuel Polonowski
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control. J. Log. Algebraic Methods Program. 81 (3) (2012)
Emmanuel Polonowski
DBGen User Manual CoRR (2012)
Tristan Crolard, Emmanuel Polonowski
Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control CoRR (2011)
Tristan Crolard, Emmanuel Polonowski
A program logic for higher-order procedural variables and non-local jumps CoRR (2011)
Emmanuel Polonowski
Generic Environments in Coq CoRR (2011)
Emmanuel Polonowski
Deriving SN from PSN: a general proof technique CoRR (2009)
Tristan Crolard, Emmanuel Polonowski
A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables CoRR (2009)
Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher
Extending the loop language with higher-order procedural variables. ACM Trans. Comput. Log. 10 (4) (2009)
Emmanuel Polonowski
LoopW Technical Reference v0.3 CoRR (2009)
Emmanuel Polonowski
Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions. FoSSaCS (2004)
Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski
Proof Nets And Explicit Substitutions. Math. Struct. Comput. Sci. 13 (3) (2003)
Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski
Proof Nets and Explicit Substitutions. FoSSaCS (2000)