A case study in programming coinductive proofs: Howe's method
MOMIGLIANO, ALBERTO, PIENTKA, BRIGITTE, THIBODEAU, DAVIDLanguage:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129518000415
Date:
October, 2018
File:
PDF, 1.34 MB
english, 2018