On the Unification Problem for Cartesian Closed Categories - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

On the Unification Problem for Cartesian Closed CategoriesPaliath Narendran, Frank Pfenning, Richard Statman. JSYML, 62(2):636-647, 1997.

runs on WebDSL