Login / Signup

The Equational Part of Proofs by Structural Induction.

Olav Lysne
Published in: BIT (1993)
Keyphrases