Timeline for Extending the class of primitive recursive functions with higher order recursion schema
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 25, 2023 at 11:06 | review | Late answers | |||
| Sep 25, 2023 at 11:11 | |||||
| Sep 25, 2023 at 10:56 | comment | added | Jii | Very interesting pointer, thank you. It seems you have worked on the same core problem but at different tool set. I need to study this more deeply. | |
| S Sep 25, 2023 at 10:42 | review | First answers | |||
| Sep 25, 2023 at 11:11 | |||||
| S Sep 25, 2023 at 10:42 | history | answered | Stanisław Ambroszkiewicz | CC BY-SA 4.0 |