Login / Signup

Structuring Metatheory on Inductive Definitions.

David A. BasinSeán Matthews
Published in: CADE (1996)
Keyphrases