Concepedia
Publication | Closed Access
Complete restrictions of the intersection type discipline
142
Citations
15
References
1992
Year
Type TheoryFormal MethodsType SystemEnumerative GeometryComplete Restrictions
Page 1