Nonfree Datatypes in Isabelle/HOL

Certified Programs and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03545-1_8 ◽

2013 ◽

pp. 114-130 ◽

Author(s):

Andreas Schropp ◽

Andrei Popescu

Download Full-text