Typed Lambda Calculi and Applications

Overview of attention for book

Attention for Chapter: A new characterization of lambda definability

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 1,981 followers.

@arntzenius Why not let the arity vary, free as can be! https://t.co/47hsqBCxFq

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

Click here to find out how to access more activity.