Proofs by induction in equational theories with constructors
Gerard Huet, Jean-Marie HullotVolume:
25
Year:
1982
Language:
english
Pages:
28
DOI:
10.1016/0022-0000(82)90006-x
File:
PDF, 1.45 MB
english, 1982