Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Introduction
2.
Foundations
3.
Constructions
4.
Relating types
5.
Axioms
6.
Index