Miranda in Isabelle (1995)

by Steve Hill , Simon Thompson , Thompson A
Venue:Proceedings of the first Isabelle Users Workshop, number 397 in University of Cambridge Computer Laboratory Tech. Report Series
Citations:2 - 0 self