6 citations · 15 across the 6 of their papers we have counts for
1 paper · 1 filter
Peter D. Mosses, Jesper Cockx, Bernhard Reus
Mechanisation of a mathematical definition (also referred to as formalisation) has many benefits. Here, we focus on mechanising denotational semantic definitions of programming lan…