About this scholarly article

Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - The strength of the subset type in Martin-Lof's type theory by Salveson, A.; Smith, J.M. is a scholarly article available to read on EtoBox.

Author

Salveson, A.; Smith, J.M.

Publisher

IEEE Comput. Soc. Press

Published

1988