21 citations · 30 across the 6 of their papers we have counts for
1 paper · 1 filter
Mads Rosendahl
In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications b…