About this scholarly article

Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - On the unification problem for Cartesian closed categories by Narendran, P.; Pfenning, F.; Statman, R. is a scholarly article available to read on EtoBox.

Author

Narendran, P.; Pfenning, F.; Statman, R.

Publisher

IEEE Comput. Soc. Press

Published

1993