Login / Signup

Nonfree Datatypes in Isabelle/HOL - Animating a Many-Sorted Metatheory.

Andreas SchroppAndrei Popescu
Published in: CPP (2013)
Keyphrases