(Q126275038)
Statements
From Functional Programs to Interaction Nets via the Rewriting Calculus (English)
0 references
Horatiu Cirstea
Germain Faure
Maribel Fernández
Ian Mackie
François-Régis Sinot
July 2007
scholarly article
No description defined