nLab Daniele Turi

• GoogleScholar page

Selected writings

On higher-order abstract syntax:

• Marcelo Fiore, Gordon Plotkin, Daniele Turi. Abstract syntax and variable binding, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158). IEEE (1999) [doi:10.1109/LICS.1999.782615, pdf, webpage]

category: people