Uninterpreted function: Difference between revisions

Content deleted Content added
Line 26:
 
== See also ==
* [[algebraicAlgebraic data type]]
* [[initialInitial algebra]]
* [[termTerm algebra]]
 
==References==