24 citations · 24 across the 4 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…