Logical Equivalence for Subtyping Object and Recursive Types - Concepedia

Concepedia

Publication | Closed Access

Logical Equivalence for Subtyping Object and Recursive Types

12

Citations

14

References

2007

Year

Steffen van Bakel, Ugo de’Liguoro

Theory of Computing Systems

EngineeringSubstructural LogicAutomated ReasoningType TheoryFormal MethodsLogical EquivalenceRecursive Function

References

	Year	Citations

Page 1