Certifying Supercompilation for Martin-Löf’s Type Theory (Q3455070)

From MaRDI portal