Implementing FS0 in Isabelle: Adding structure at the metalevel

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_24 ◽

1996 ◽

pp. 228-239 ◽

Author(s):

Seán Matthews

Download Full-text