Publication | Closed Access
PER models of subtyping, recursive types and higher-order polymorphism
68
Citations
19
References
1992
Year
Unknown Venue
EngineeringPer ModelsAutomated ReasoningPolymorphism (Computer Science)Type TheoryFormal MethodsModel Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1