Searching for authors named Ian Mackie – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Encoding Linear Logic with Interaction Combinators
- …Encoding Linear Logic with Interaction Combinators Ian Mackie CNRS (UMR 7650), LIX, École…
- Cited by 4 (1 self) – Add To MetaCart
-
Integrating Paradigms via Interaction Nets (Extended Abstract)
- … maribel@(email omitted); Ian Mackie LIX (CNRS URA 1439) #cole Polytechnique 91128 Palaiseau Cedex, France mackie…
- Add To MetaCart
-
Closed Reductions in the λ-calculus (Extended Abstract)
- …Closed Reductions in the -calculus (Extended Abstract) Maribel Fernandez 1 and Ian Mackie 2 1…
- Add To MetaCart
-
A Theory of Operational Equivalence for Interaction Nets
- …A Theory of Operational Equivalence for Interaction Nets Maribel Fernandez 1 and Ian Mackie 2 1…
- Add To MetaCart
-
Operational Equivalence for Interaction Nets
- … Normale Superieure 45 Rue d'Ulm, 75005 Paris, France maribel@(email omitted); and Ian Mackie CNRS-LIX (UMR…
- Cited by 6 (3 self) – Add To MetaCart
-
Interaction Nets and Term Rewriting Systems
- … Normale Sup'erieure 45 Rue d'Ulm, 75005 Paris, France maribel@(email omitted); Ian Mackie LIX (CNRS URA 1439…
- Cited by 9 (6 self) – Add To MetaCart
-
From Term Rewriting to Generalised Interaction Nets
- …) ' Ecole Normale Sup'erieure 45 Rue d'Ulm, 75005 Paris, France maribel@(email omitted); Ian Mackie LIX (CNRS URA…
- Cited by 6 (4 self) – Add To MetaCart
-
A Calculus for Interaction Nets
- …A Calculus for Interaction Nets Maribel Fern'andez 1 and Ian Mackie 2 1 LIENS (CNRS UMR 8548…
- Cited by 5 (4 self) – Add To MetaCart
-
Iterator types
- …Iterator Types ⋆ Sandra Alves1⋆⋆ , Maribel Fernández2 , Mário Florido1 2,3⋆ ⋆ ⋆ , and Ian Mackie 1…
- Cited by 1 (1 self) – Add To MetaCart
-
The power of linear functions
- …The Power of Linear Functions ⋆ Sandra Alves 1 , Maribel Fernández 2 , Mário Florido 1 , and Ian…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
