Sciweavers

A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
Recent countries visiting this post
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
us5United States