mjd, 1 month ago @boarders @antoinechambertloir @jonmsterling Just yesterday I was pondering his remark that “The establishment of a truly operational semantics of algorithms is perhaps the most important problem in computer science.” I love Girard.
@boarders @antoinechambertloir @jonmsterling Just yesterday I was pondering his remark that “The establishment of a truly operational semantics of algorithms is perhaps the most important problem in computer science.”
I love Girard.