Publications de l'équipe PAREO

2012

Communications avec actes

Titre

Tom-based tools to transform EMF models in avionics context

Auteurs

Jean-Christophe Bach ; Pierre-Etienne Moreau ; Marc Pantel

Détail

ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany.

Accès au texte intégral et bibtex

Titre

Island Grammar-based Parsing using GLL and Tom

Auteurs

Ali Afroozeh; Jean-Christophe Bach ; Mark Van Den Brand; Adrian Johnstone; Maarten Manders; Pierre-Etienne Moreau ; Elizabeth Scott

Détail

5th International Conference on Software Language Engineering - SLE 2012, Sep 2012, Dresden, Germany.

Accès au texte intégral et bibtex

Titre

Model Transformations with Tom

Auteurs

Jean-Christophe Bach ; Xavier Crégut; Pierre-Etienne Moreau; Marc Pantel

Détail

LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. ACM, pp. 16

Accès au texte intégral et bibtex

Thèses

Titre

Un système de types pour la programmation par réécriture embarquée

Auteurs

Cláudia Tavares

Détail

informatique. Université Henri Poincaré - Nancy I, Mar. 2012. English

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Identities among relations for higher-dimensional rewriting systems

Auteurs

Yves Guiraud; Philippe Malbos

Détail

Société Mathématique de France, Séminaires et Congrès, 2011, 26, pp. 145-161

Accès au texte intégral et bibtex

Titre

Specification, analysis and transformation of security policies via rewriting techniques

Auteurs

Tony Bourdier

Détail

Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2011, 6 (5), pp. 357-368

Accès au bibtex

Communications avec actes

Titre

Refinement types as higher order dependency pairs

Auteurs

Cody Roux

Détail

222nd International Conference on Rewriting Techniques and Applications : RTA'11, May 2011, Novi Sad, Serbia. LIPics, 22nd International Conference on Rewriting Techniques and Applications, 10, pp. 299-312

Accès au texte intégral et bibtex

Titre

Automated Certification of Implicit Induction Proofs

Auteurs

Sorin Stratulat; Vincent Demange

Détail

Certified Programs and Proofs, Dec 2011, Kenting, Taiwan, Province Of China.

Accès au texte intégral et bibtex

Titre

Tree automata based semantics of firewalls

Auteurs

Tony Bourdier

Détail

6th International Conference on Network Architectures and Information Systems Security, 2011, La Rochelle, France. IEEE, , pp.171-178

Accès au texte intégral et bibtex

Titre

Superdeduction in Lambda-bar-mu-mu-tilde

Auteurs

Clement Houtmann

Détail

Steffen van Bakel and Stefano Berardi and Ulrich Berger. Classical Logic and Computation 2010, Aug 2010, Brno, Czech Republic. Proceedings Third International Workshop on Classical Logic and Computation, 47, pp. 33-43, 2011

Accès au texte intégral et bibtex

Titre

Formal Specification and Validation of Security Policies

Auteurs

Tony Bourdier; Horatiu Cirstea; Mathieu Jaume; Hélène Kirchner

Détail

J. Garcia-Alfaro and P. Lafourcade. Foundations & Practice of Security, May 2011, Paris, France. Springer, Heidelberg, 6888, pp. 148-163, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Symbolic analysis of network security policies using rewrite systems

Auteurs

Tony Bourdier; Horatiu Cirstea

Détail

Symposium on Principles and Practices of Declarative Programming, Jul 2011, Odense, Denmark. ACM, pp.77-88

Accès au texte intégral et bibtex

Autres publications

Titre

Narrowing Based Inductive Proof Search

Auteurs

Claude Kirchner; Helene Kirchner; Fabrice Nahon

Détail

May. 2011. Version finale envoyé a Springer

Accès au texte intégral et bibtex

Rapports

Titre

A constraint language for algebraic term based on rewriting theory

Auteurs

François Prugniel; Pierre-Etienne Moreau; Horatiu Cirstea

Détail

[Research Report], 2011, pp. 8

Accès au texte intégral et bibtex

Titre

A type system for embedded rewriting languages with associative pattern matching: from theory to practice

Auteurs

Cláudia Tavares

Détail

[Research Report], 2011, pp. 20

Accès au texte intégral et bibtex

Titre

Refinement Types as Higher Order Dependency Pairs

Auteurs

Cody Roux

Détail

[Research Report], 2011, pp. 19

Accès au texte intégral et bibtex

Thèses

Titre

Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité

Auteurs

Tony Bourdier

Détail

Université Henri Poincaré - Nancy I, Oct. 2011. French

Accès au texte intégral et bibtex

Titre

Terminaison à base de tailles: Sémantique et généralisations

Auteurs

Cody Roux

Détail

informatique. Université Henri Poincaré - Nancy I, Jun. 2011. English

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Anti-patterns for Rule-based Languages

Auteurs

Horatiu Cirstea; Claude Kirchner; Radu Kopetz; Pierre-Etienne Moreau

Détail

Journal of Symbolic Computation, Elsevier, 2010, 54 (5), pp. 523-550

Accès au bibtex

Titre

Regaining Cut Admissibility in Deduction Modulo using Abstract Completion

Auteurs

Guillaume Burel; Claude Kirchner

Détail

Information and Computation, Elsevier, 2010, 208 (2), pp. 140-164

Accès au texte intégral et bibtex

Titre

Extensional and Intensional Strategies

Auteurs

Tony Bourdier; Horatiu Cirstea; Daniel Dougherty; Hélène Kirchner

Détail

Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2010, Reduction Strategies in Rewriting and Programming, 15, pp. 1-19

Accès au bibtex

Communications avec actes

Titre

Integrating Implicit Induction Proofs into Certified Proof Environments

Auteurs

Sorin Stratulat

Détail

Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, Integrated Formal Methods - 8th International Conference, IFM 2010, 6396, pp. 320-335, Lecture Notes in Computer Science

Accès au bibtex

Titre

A Type System for Tom

Auteurs

Claude Kirchner; Pierre-Etienne Moreau; Cláudia Tavares

Détail

Ian Mackie and Anamaria Martins Moreira. Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. Rule-Based Programming, 21, 2010

Accès au texte intégral et bibtex

Titre

Good reasons to implement transnational European diploma programs in Computer Science

Auteurs

Gabriel Michel; Sorin Stratulat

Détail

ICEUTE'2010 (First International Conference on EUropean Transnational Education), 2010, Spain. pp. 135-143

Accès au texte intégral et bibtex

Titre

Constraint Based Strategies

Auteurs

Helene Kirchner; Kirchner Florent; Claude Kirchner

Détail

Santiago Escobar. 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. Springer Berlin / Heidelberg, Functional and Constraint Logic Programming, 5979, pp. 13-26, 2010, Lecture Notes in Computer Science

Accès au bibtex

Titre

The Third Rewrite Engines Competition

Auteurs

Francisco Durán; Manuel Roldan; Jean-Christophe Bach; Emilie Balland; Mark Van Den Brand; James R. Cordy; Steven Eker; Luc Engelen; Maartje De Jonge; Karl Trygve Kalleberg; Lennart C.L. Kats; Pierre-Etienne Moreau; Eelco Visser

Détail

Peter Csaba Ölveczky. 8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. Springer-Verlag, Rewriting Logic and Its Applications, 6381, pp. 243-261, Lecture Notes in Computer Science

Accès au bibtex

Communications sans actes

Titre

Rule-based Specification and Analysis of Security Policies

Auteurs

Tony Bourdier; Horatiu Cirstea; Mathieu Jaume; Hélène Kirchner

Détail

5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Jun 2010, Valencia, Spain.

Accès au bibtex

Titre

On Formal Specification and Analysis of Security Policies

Auteurs

Tony Bourdier; Horatiu Cirstea; Mathieu Jaume; Hélène Kirchner

Détail

2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany.

Accès au texte intégral et bibtex

Directions d'ouvrages

Titre

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS

Auteurs

Claus Brabrand; Pierre-Etienne Moreau

Détail

Claus Braband and Pierre-Etienne Moreau. ACM, pp. x, 2010, 978-1-4503-0063-6

Accès au bibtex

HDR

Titre

Le calcul de réécriture

Auteurs

Horatiu Cirstea

Détail

Université Nancy II, Oct. 2010. French

Accès au texte intégral et bibtex

Thèses

Titre

Représentation et interaction des preuves en superdéduction modulo

Auteurs

Clément Houtmann

Détail

informatique. Université Henri Poincaré - Nancy I, Mar. 2010. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Constrained rewriting in recognizable theories

Auteurs

Tony Bourdier; Horatiu Cirstea

Détail

Jan. 2010

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Analysis of Rewrite-Based Access Control Policies

Auteurs

Claude Kirchner; Helene Kirchner; Anderson Santana De Oliveira

Détail

Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008, 234, pp. 55-75

Accès au bibtex

Titre

Inductive Proof Search Modulo

Auteurs

Fabrice Nahon; Claude Kirchner; Hélène Kirchner; Paul Brauner

Détail

Annals of Mathematics and Artificial Intelligence, Springer Netherlands, 2009, Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt, 55 (1), pp. 123-154

Accès au texte intégral et bibtex

Titre

Higher-dimensional categories with finite derivation type

Auteurs

Yves Guiraud; Philippe Malbos

Détail

Theory and Applications of Categories, 2009, 22 (18), pp. 420-478

Accès au texte intégral et bibtex

Titre

Termination of Rewriting under Strategies

Auteurs

Isabelle Gnaedig; Hélène Kirchner

Détail

ACM Transactions on Computational Logic, ACM, 2009, 10 (2), pp. 1-52

Accès au bibtex

Communications avec actes

Titre

Component-based Security Policy Design with Colored Petri Nets

Auteurs

Helene Kirchner; Hejiao Huang

Détail

Jens Palsbberg. Semantics and Algebraic Specification, Sep 2009, Udine, Italy. Springer, Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, 5700, pp. 21-42, Lecture Notes in Computer Science

Accès au bibtex

Titre

Policy Composition based on Petri Nets

Auteurs

Hejiao Huang; Helene Kirchner

Détail

33rd Annual IEEE International Computer Software and Applications Conference COMPSAC2009, Jul 2009, Seattle, United States. IEEE Computer Society Press, Proceedings of 33rd Annual IEEE International Computer Software and Applications Conference, pp. 416-421

Accès au bibtex

Titre

The Second Rewrite Engines Competition

Auteurs

Emilie Balland; Pierre-Etienne Moreau; Mark Van Den Brand; Eelco Visser; Francisco Duran; Manuel Roldan; Steven Eker; Karl Trygve Kalleberg; Lennart C. L. Kats; Ruslan Schevchenko

Détail

WRLA 2008: 7th International Workshop on Rewriting Logic and its Applications, Mar 2008, Budapest, Hungary. 2009

Accès au bibtex

Titre

Axiom directed Focusing

Auteurs

Clément Houtmann

Détail

Stefano Berardi and Ferruccio Damiani and Ugo de'Liguoro. Types for Proofs and Programs, International Conference, TYPES 2008, Mar 2008, Torino, Italy. Springer, Types for Proofs and Programs, International Conference, TYPES 2008, Revised Selected Papers, 5497, pp. 169-185, 2009, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Rewrite Based Specification of Access Control Policies

Auteurs

Horatiu Cirstea; Pierre-Etienne Moreau; Anderson Santana De Oliveira

Détail

3rd International Workshop on Security and Rewriting Techniques - SecReT 2008, Jun 2008, Pittsburgh, United States. 234, pp. 37-54, 2009, Electronic Notes in Theoretical Computer Science

Accès au bibtex

Titre

Automating Theories in Intuitionistic Logic

Auteurs

Guillaume Burel

Détail

Silvio Ghilardi and Roberto Sebastiani. 7th International Symposium on Frontiers of Combining Systems -FroCoS'09, Sep 2009, Trento, Italy. Springer, Frontiers of Combining Systems, 5749, pp. 181-197, Lecture Notes in Artificial Intelligence

Accès au texte intégral et bibtex

Titre

On the relation between sized-types based termination and semantic labelling

Auteurs

Frédéric Blanqui; Cody Roux

Détail

18th EACSL Annual Conference on Computer Science Logic - CSL 09, Sep 2009, Coimbra, Portugal.

Accès au texte intégral et bibtex

Titre

TomML: A Rule Language For Structured Data

Auteurs

Horatiu Cirstea; Pierre-Etienne Moreau; Antoine Reilles

Détail

International RuleML Symposium on Rule Interchange and Applications - RuleML 2009, Nov 2009, Las Vegas, United States. pp. 262-271

Accès au bibtex

Communications sans actes

Titre

Analysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom.

Auteurs

Tony Bourdier; Horatiu Cirstea; Pierre-Etienne Moreau; Anderson Santana De Oliveira

Détail

S. Mauw and L. van der Torre (eds). 1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg city, Luxembourg. ISBN 2-919940-84-8, pp.33-40

Accès au bibtex

Conférences invitées

Titre

A Port Graph Calculus for Autonomic Computing and Invariant Verification

Auteurs

Oana Andrei; Helene Kirchner

Détail

A. Corradini. TERMGRAPH 2009, 5th International Workshop on Computing with Terms and Graphs, Satellite Event of ETAPS 2009, Mar 2009, York, United Kingdom. To appear in Electronic Notes in Theoretical Computer Science, Elsevier.

Accès au texte intégral et bibtex

Ouvrages scientifiques

Titre

Formal to practical Security

Auteurs

Véronique Cortier; Claude Kirchner; Mitsuhiro Okada; Hideki Sakurada

Détail

5458. Springer, pp. 200, Feb. 2009, Lecture Notes in Computer Science, 978-3-642-02001-8

Accès au bibtex

Rapports

Titre

Tom Manual

Auteurs

Jean-Christophe Bach; Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles

Détail

[Technical Report], 2009, pp. 155

Accès au texte intégral et bibtex

Thèses

Titre

Bonnes démonstrations en déduction modulo

Auteurs

Guillaume Burel

Détail

informatique. Université Henri Poincaré - Nancy I, Mar. 2009. French

Accès au texte intégral et bibtex

Titre

Conception d'un langage dédié à l'analyse et la transformation de programmes

Auteurs

Emilie Balland

Détail

informatique. Université Henri Poincaré - Nancy I, Mar. 2009. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Modular Security Policy Design based on Extended Petri Nets

Auteurs

Hejiao Huang; Helene Kirchner

Détail

Jun. 2009

Accès au texte intégral et bibtex

Titre

Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets

Auteurs

Hejiao Huang; Helene Kirchner

Détail

Jun. 2009

Accès au texte intégral et bibtex

Titre

Three Dimensional Proofnets for Classical Logic

Auteurs

Clement Houtmann

Détail

2009

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

Strong Normalization in two Pure Pattern Type Systems

Auteurs

Benjamin Wack; Clement Houtmann

Détail

Mathematical Structures in Computer Science, Cambridge University Press, 2008, Rewriting calculi, higher-order reductions and patterns, 18 (3), pp. 431-465

Accès au texte intégral et bibtex

Titre

A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations

Auteurs

Yohan Boichut; Pierre-Cyrille Heam

Détail

Information Processing Letters, Elsevier, 2008, 108 (1), pp. 1-2

Accès au bibtex

Communications avec actes

Titre

Finer is better: Abstraction Refinement for Rewriting Approximations

Auteurs

Yohan Boichut; Roméo Courbis; Pierre-Cyrille Héam; Olga Kouchnarenko

Détail

Andrei Voronkov. RTA'08, 19th international conference on Rewriting Techniques and Applications, Jul 2008, Hagenberg, Austria. Springer, 5117, pp. 48-62, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Term-graph rewriting via explicit paths

Auteurs

Emilie Balland; Pierre-Etienne Moreau

Détail

Andrei Voronkov. RTA: International Conference on Rewriting Techniques and Applications, Jun 2008, Hagenberg, Austria. Springer, RTA, 5117, pp. 32-47, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

A First-Order Representation of Pure Type Systems Using Superdeduction

Auteurs

Guillaume Burel

Détail

Frank Pfenning. 23rd Annual IEEE Symposium on Logic In Computer Science, Jun 2008, Pittsburgh, PA, United States. IEEE Computer Society, Logic In Computer Science, pp. 253-263

Accès au texte intégral et bibtex

Titre

Types Simples, Logique et Coercions Implicites

Auteurs

Cody Roux

Détail

19e Journées Francophones des Langages Applicatifs - JFLA 2008, Jan 2008, Etretat, France. pp. 79-90

Accès au texte intégral et bibtex

Titre

From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures

Auteurs

Frédéric Blanqui; Jean-Pierre Jouannaud; Pierre-Yves Strub

Détail

5th IFIP International Conference on Theoretical Computer Science - TCS 2008, Sep 2008, Milan, Italy. 273, IFIP

Accès au texte intégral et bibtex

Titre

Towards an Efficient Implementation of Tree Automata Completion

Auteurs

Emilie Balland; Yohan Boichut; Thomas Genet; Pierre-Etienne Moreau

Détail

José Meseguer and Grigore Rosu. 12th International Conference on Algebraic Methodology and Software Technology - AMAST'08, Jul 2008, Urbana, Illinois, United States. Springer, 5140, pp. 67-82, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

A Biochemical Calculus Based on Strategic Graph Rewriting

Auteurs

Oana Andrei; Hélène Kirchner

Détail

The Third International Conference on Algebraic Biology - AB'08, Jul 2008, Hagenberg, Austria.

Accès au texte intégral et bibtex

Titre

A Higher-Order Graph Calculus for Autonomic Computing

Auteurs

Oana Andrei; Hélène Kirchner

Détail

Graph Theory, Computational Intelligence and Thought. A Conference Celebrating Martin Charles Golumbic's 60th Birthday, Sep 2008, Haifa, Israel.

Accès au texte intégral et bibtex

Titre

Analysis of Rewrite-Based Access Control Policies

Auteurs

Anderson Santana De Oliveira; Claude Kirchner; Hélène Kirchner

Détail

3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States.

Accès au bibtex

Titre

Software Quality Improvement via Pattern Matching

Auteurs

Radu Kopetz; Pierre-Etienne Moreau

Détail

J. Fiadeiro and P. Inverardi. 11th International Conference on Fundamental Approaches to Software Engineering - FASE 2008, Mar 2008, Budapest, Hungary. Springer-Verlag, Fundamental Approaches to Software Engineering, 4961, pp. 296-300, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Anti-Pattern Matching Modulo

Auteurs

Claude Kirchner; Radu Kopetz; Pierre-Etienne Moreau

Détail

Carlos Mart\'{\i}n-Vide and Friedrich Otto and Henning Fernau. Second International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. Springer-Verlag, Language and Automata Theory and Applications, 5196, pp. 275-286, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Conférences invitées

Titre

The computability path ordering: the end of a quest

Auteurs

Frédéric Blanqui; Jean-Pierre Jouannaud; Albert Rubio

Détail

7th EACSL Annual Conference on Computer Science Logic - CSL'08, Sep 2008, Bertinoro, Italy. 5213, LNCS

Accès au texte intégral et bibtex

Titre

Strategic Port Graph Rewriting for Autonomic Computing

Auteurs

Oana Andrei; Hélène Kirchner

Détail

The Fourth Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan, Province Of China.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Strategic Computation and Deduction

Auteurs

Claude Kirchner; Florent Kirchner; Helene Kirchner

Détail

Christoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp. 339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3

Accès au texte intégral et bibtex

HDR

Titre

Programmation et confiance

Auteurs

Pierre-Etienne Moreau

Détail

Institut National Polytechnique de Lorraine - INPL, Jun. 2008. French

Accès au texte intégral et bibtex

Rapports

Titre

A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations

Auteurs

Yohan Boichut; Pierre-Cyrille Heam

Détail

[Research Report], 2008, pp. 6. RR-6411

Accès au texte intégral et bibtex

Titre

A Semantic Normalization Proof for Inductive Types

Auteurs

Lisa Allali; Paul Brauner

Détail

[Research Report], 2008, pp. 21

Accès au texte intégral et bibtex

Titre

Confluence de calcul à motifs

Auteurs

Pierre Caserta

Détail

[Research Report], 2008

Accès au texte intégral et bibtex

Thèses

Titre

Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes

Auteurs

Oana Andrei

Détail

Institut National Polytechnique de Lorraine - INPL, Nov. 2008. English

Accès au texte intégral et bibtex

Titre

Contraintes d'anti-filtrage et programmation par réécriture

Auteurs

Radu Kopetz

Détail

informatique. Institut National Polytechnique de Lorraine - INPL, Oct. 2008. French

Accès au texte intégral et bibtex

Titre

Réécriture et Modularité pour les Politiques de Sécurité

Auteurs

Anderson Santana De Oliveira

Détail

informatique. Université Henri Poincaré - Nancy I, Mar. 2008. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo

Auteurs

Guillaume Burel

Détail

May. 2008

Accès au texte intégral et bibtex

Titre

A semantic normalization proof for a system with recursors

Auteurs

Lisa Allali; Paul Brauner

Détail

Jan. 2008

Accès au texte intégral et bibtex