Self-Formalisation of Higher-Order Logic

Overview of attention for article published in Journal of Automated Reasoning, February 2016

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 9,669 followers.

#Publication - Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation | We p… https://t.co/bSQYLngoHi

Self-formalisation of Higher-Order Logic. ~ R. Kumar et als. https://t.co/1wrRYZckb0 #ITP #HOL4