The Equational Part of Proofs by Structural Induction

The Equational Part of Proofs by Structural Induction

Authors: O. Lysne
Status: Published
Publication type: Journal Article
Year of publication: 1993
Journal: BIT
Publisher: -
Citation key: 10961

Google Scholar BibTex