Type-instance pair: Some mappings between the levels

Previous slide

Next slide

Back to first slide

View graphic version