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

by Seán Matthews
Venue:University of Cambridge Computer Laboratory
Citations:1 - 0 self

Document Versions

Implementing F S0 in Isabelle: adding structure at the metalevel –Seán Matthews — 1995 — University of Cambridge Computer Laboratory