Concepedia
1994 · 10 citations · 0 references
Life SciencesMathematicsTypologyInheritance PatternsDependent Types