Nested Abstract Syntax in Coq

Overview of attention for article published in Journal of Automated Reasoning, September 2010

Altmetric Badge

Mentioned by

So far, Altmetric has seen 3 X posts from 3 X users, with an upper bound of 5,508 followers.

Nested abstract syntax: yay using types instead of naturals as de Bruijn indices! http://t.co/LKUZcmnM http://t.co/ZlHt4hxw

Nested abstract syntax: yay using types instead of naturals as de Bruijn indices! http://t.co/LKUZcmnM http://t.co/ZlHt4hxw

Nested abstract syntax: yay using types instead of naturals as de Bruijn indices! http://t.co/LKUZcmnM http://t.co/ZlHt4hxw