Login / Signup

A Type-Free Theory of Half-Monotone Inductive Definitions.

Yukiyoshi Kameyama
Published in: Int. J. Found. Comput. Sci. (1995)
Keyphrases