Concepedia

Author

F.-R. Sinot

Laboratoire d'Informatique de l'École Polytechnique

Also Known As

F-R. SINOT, F.-R. SINOT, F.-R. Sinot

3

Publications

46

Citations

3

H-Index

0

Concepts

All Affiliations

Laboratoire d'Informatique de l'École Polytechnique
FS

About

F.-R. Sinot is an author at Laboratoire d'Informatique de l'École Polytechnique.

F.-R. Sinot

×

1

Publications

33

Citations

1

H-Index

YearCitations

Closed reduction: explicit substitutions without $\alpha$-conversion

Maribel Fernández, Ian Mackie, F.-R. Sinot

Mathematical Structures in Computer Science

2005

33

Page 1