Timeline for value (element of an algebra), constant, variable, ground and non-ground terms, free algebras : there is a need for clarification
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 16, 2021 at 9:27 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |