↓ Skip to main content

Programming Languages and Systems

Overview of attention for book
Programming Languages and Systems
Springer International Publishing
Attention for Chapter: Graded Modal Dependent Type Theory
Altmetric Badge

Mentioned by

twitter
7 tweeters

Readers on

mendeley
5 Mendeley