↓ Skip to main content

Semantics of Data Types

Overview of attention for book
Attention for Chapter 19: Towards a proof theory of parameterized specifications
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
1 Mendeley