One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus

Overview of attention for article published in ACM Transactions on Computational Logic, June 2024

Altmetric Badge

About this Attention Score

Above-average Attention Score compared to outputs of the same age (51st percentile)

So far, Altmetric has seen 10 X posts from 3 X users, with an upper bound of 2,440 followers.

RT @arxiv_cslo: One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus https://t.co/n5UTDbIgpy

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus https://t.co/n5UTDbIgpy

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus https://t.co/n5UTDbIgpy

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus https://t.co/n5UTDbIgpy

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 6 additional X posts.