Exporting and Reflecting Abstract Meta-mathematics
Alternate title: Exporting and Reflecting Abstract Constructive Meta-mathematics
unofficial copies [PDF], [PS]

by Robert L. Constable

Proceedings of 12th International Conference on Automated Deduction, A. Bundy (ed.), LNAI 814, p. 529, Springer-Verlag, 1994.