The Equational Part of Proofs by Structural Induction

The Equational Part of Proofs by Structural Induction

Authors
O. Lysne