Hereditary Substitution for the λΔ-Calculus

Overview of attention for article published in Electronic Proceedings in Theoretical Computer Science, September 2013

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 62 followers.

Hereditary Substitution for the \lambda\Delta-Calculus. (arXiv:1309.1256v1 [cs.LO]) http://t.co/UdGN8dV7VS

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.