Partial_Function_MR Dependents

Polynomial Factorization

by René Thiemann and Akihisa Yamada

Certification Monads

by Christian Sternagel and René Thiemann