Sciweavers

LICS
1999
IEEE
14 years 3 months ago
Abstract Syntax and Variable Binding
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op a theory of abstract synt...
Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi