Fingerprint
Dive into the research topics of 'Closed Reduction: explicit substitutions without alpha conversion'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Closed Reduction: explicit substitutions without alpha conversion
M Fernandez, I Mackie, F-R Sinot
Research output: Contribution to journal › Article › peer-review
32
Citations
(Scopus)