About this scholarly article

Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Structure and representation in LF by Harper, R.; Sannella, D.; Tarlecki, A. is a scholarly article available to read on EtoBox.

Author

Harper, R.; Sannella, D.; Tarlecki, A.

Publisher

IEEE Comput. Soc. Press

Published

1989

Language

EN