Computer Science Logic

Overview of attention for book

Attention for Chapter: A mixed modal/linear lambda calculus with applications to bellantoni-cook safe recursion

Altmetric Badge

Mentioned by

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

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

Click here to find out how to access more activity.