![]() |
Home | Libraries | People | FAQ | More |
Obviously we can observe the induction of semantics from the CodomainT parameter into the instantiations
of icl maps.
|
|
is model of |
if |
example |
|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|