Definitorische Konstruktion induktiver Datentypen (1998)

by S Berghofer
Venue:in Isabelle/HOL’, Master’s thesis (In German), Institut für Informatik, Technische Universität München