.:. Consultation > Liste des articles .:.

10 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Extending the loop language with higher-order procedural variables Crolard T., Polonowski E., Valarcher P. ACM Transactions on Computational Logic 10, 4 (2009) 1--37 [hal-00422158 − version 1]

LoopW Technical Reference v0.3 Polonowski E. Technical report of the LACL, TR-LACL-2009-8 (2009) [hal-00443669 − version 1]

A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables Crolard T., Polonowski E. Technical Report of the LACL (2009) [hal-00385416 − version 1]

Extending the Loop Language with Higher-Order Procedural Variables Crolard T., Polonowski E., Valarcher P. Technical Report of the LACL (2008) [hal-00385411 − version 1]

Deriving SN from PSN: a general proof technique Polonowski E. Technical report of the LACL, TR-LACL-2006-5 (2006) [hal-00420464 − version 1]

Subsitutions explicites, logique et normalisation Polonovski E. Université Denis Diderot - Paris VII (30/06/2004), Pierre-Louis Curien (Dir.) [tel-00007962 − version 1]

PSN implies SN Polonovski E. Proceedings of the 2nd International Workshop on Higher-Order Rewriting - HOR, Germany (2004) [hal-00384961 − version 1]

Strong normalization of lambda-bar-mu-mu-tilde-calculus with explicit substitutions Polonovski E. Proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures - FOSSACS, Spain (2004) [hal-00004321 − version 1]

Proof Nets and Explicit Substitutions Di Cosmo R., Kesner D., Polonovski E. Mathematical Structures in Computer Science 13, 3 (2003) 409--450 [hal-00148842 − version 1]

Proof Nets and Explicit Substitutions Di Cosmo R., Kesner D., Polonovski E. Proceedings of the 3rd International Conference on Foundations of Software Science and Computation Structures - FOSSACS, Germany (2000) [hal-00384955 − version 1]