Typed Lambda Calculi and Applications

Overview of attention for book

Attention for Chapter: Extracting text from proofs

Altmetric Badge

Mentioned by

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

@TaliaRinger I recalled this tweet today when I ran into https://t.co/dgep9BtXus and https://t.co/9Y5ZVvtuX5 ; @TaliaRinger have you seen these?

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

Click here to find out how to access more activity.