François-Régis Sinot

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot
Minimality in a Linear Calculus with Iteration. Electron. Notes Theor. Comput. Sci. 204 (2008)
François-Régis Sinot
Sub-lambda-calculi, Classified. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
François-Régis Sinot
Complete Laziness: a Natural Semantics. Electron. Notes Theor. Comput. Sci. 204 (2008)
Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
From Functional Programs to Interaction Nets via the Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Florent Kirchner, François-Régis Sinot
Rule-Based Operational Semantics for an Imperative Language. Electron. Notes Theor. Comput. Sci. 174 (1) (2007)
François-Régis Sinot
Token-Passing Nets: Call-by-Need for Free. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
François-Régis Sinot
Call-by-need in token-passing nets. Math. Struct. Comput. Sci. 16 (4) (2006)
François-Régis Sinot
Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting. J. Log. Comput. 15 (2) (2005)
Maribel Fernández, Ian Mackie, François-Régis Sinot
-calculus: Introducing Bigraphical Nets. EXPRESS (2005)
François-Régis Sinot, Ian Mackie
Macros for Interaction Nets: A Conservative Extension of Interaction Nets. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Maribel Fernández, Ian Mackie, François-Régis Sinot
Closed reduction: explicit substitutions without alpha-conversion. Math. Struct. Comput. Sci. 15 (2) (2005)
Maribel Fernández, Ian Mackie, François-Régis Sinot
Lambda-Calculus with Director Strings. Appl. Algebra Eng. Commun. Comput. 15 (6) (2005)
François-Régis Sinot
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets. TLCA (2005)
François-Régis Sinot, Maribel Fernández, Ian Mackie
Efficient Reductions with Director Strings. RTA (2003)

François-Régis Sinot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

François-Régis Sinot