From Functional Programs to Interaction Nets via the Rewriting Calculus

H Cirstea; G Faure; M Fernandez; I Mackie; F-R. Sinot

From Functional Programs to Interaction Nets via the Rewriting Calculus

H Cirstea
, G Faure
, M Fernandez
, I Mackie
, F-R. Sinot

Research output: Contribution to journal › Conference paper

2 Citations (Scopus)

Original language	English
Pages (from-to)	39 - 56
Number of pages	18
Journal	Electronic Notes in Theoretical Computer Science
Volume	174
Issue number	10
Publication status	Published - 2 Jul 2007
Event	Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) - Duration: 1 Jan 2007 → …

Cite this

@article{9b3a0ed0be9849d0bc4d24292a650e9b,

title = "From Functional Programs to Interaction Nets via the Rewriting Calculus",

author = "H Cirstea and G Faure and M Fernandez and I Mackie and F-R. Sinot",

year = "2007",

month = jul,

day = "2",

language = "English",

volume = "174",

pages = "39 -- 56",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier BV",

number = "10",

note = "Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) ; Conference date: 01-01-2007",

}

TY - JOUR

T1 - From Functional Programs to Interaction Nets via the Rewriting Calculus

AU - Cirstea, H

AU - Faure, G

AU - Fernandez, M

AU - Mackie, I

AU - Sinot, F-R.

PY - 2007/7/2

Y1 - 2007/7/2

UR - https://www.scopus.com/pages/publications/34250738976

M3 - Conference paper

SN - 1571-0661

VL - 174

SP - 39

EP - 56

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 10

T2 - Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006)

Y2 - 1 January 2007

ER -

From Functional Programs to Interaction Nets via the Rewriting Calculus

Other files and links

Cite this