%0 Conference Proceedings
%F constable91
%A Constable, R.
%T Type Theory as a Foundation for Computer Science
%B Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan
%E Ito, T.
%E Meyer, A.
%P 226-243
%I Springer
%8 September
%D 1991
%K typetheory