Login / Signup

On reduction and normalization in the computational core.

Claudia FaggianGiulio GuerrieriUgo de'LiguoroRiccardo Treglia
Published in: Math. Struct. Comput. Sci. (2022)
Keyphrases