Strongly Typed Term Representations in Coq

Overview of attention for article published in Journal of Automated Reasoning, March 2011

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 1 Wikipedia article.

Conor McBride (born 1973) is a lecturer in the department of Computer and Information Sciences at the University of Strathclyde.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.