A recursion combinator for nominal datatypes implemented in Isabelle/HOL (2006)

by Christian Urban , Stefan Berghofer
Venue:IN PROC. OF THE 3RD INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING (IJCAR), VOLUME 4130 OF LNAI
Citations:16 - 7 self