Computer Algebra in the Age of Types. This could be fun... https://cicm-conference.org/2018/cicm.php?event=caat …
-
-
They claimed a lot about (even dependend) types... I know not enough about it - but I think it was about types and symbolic algebra... Highly interested in your opinion!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.