lawvere. The collected works of F. W. Lawvere
catlog. Categorical logic from a categorical point of view
martin-lof. papers of Per Martin Löf
