Login / Signup

On Specifications, Theories, and Models with Higher Types

Axel Poigné
Published in: Inf. Control. (1986)
Keyphrases