Searching for authors named Ian Mackie – sorted by Relevance.
-
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

