Logic Programming and Automated Reasoning

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 4 citations on 4 Wikipedia pages.

In mathematical logic and computer science, the lambda-mu calculus is an extension of the lambda calculus introduced by M.

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

Click here to find out how to access more activity.