Scottish Theorem Proving seminar: "The encode-decode method in HoTT, relationally"

Activity: Talk or presentation typesOral presentation

Period7 Oct 2015
Event titleScottish Theorem Proving seminar
Event typeSeminar
Degree of RecognitionRegional