Implementing F S0 in Isabelle: adding structure at the metalevel (1995)

by Seán Matthews
Venue:University of Cambridge Computer Laboratory