Login / Signup

A Categorical Approach to the Theory of Computation.

Philip S. Mulry
Published in: Ann. Pure Appl. Log. (1989)
Keyphrases