Concepedia

Type inference and Logical relations

Mario Coppo, Maddalena Zacchi

Logic in Computer Science · 1986 · 18 citations · 0 references

Concepts