Rational Codata as Syntax-with-Binding: Correct-by-Construction Foundations of the Modal ยต-Calculus
Sean Watters published on
0 min,
0 words
Categories: TalkFuture Conference