Paliath Narendran, Frank Pfenning, Richard Statman. On the Unification Problem for Cartesian Closed Categories. In Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada. pages 57-63, IEEE Computer Society, 1993.
Abstract is missing.