Concepedia

Publication | Closed Access

Intersection types for explicit substitutions

DOI

36

Citations

23

References

2003

Year

Stéphane Lengrand, Pierre Lescanne, Dan Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel
Information and Computation

References

YearCitations

Page 1