Timeline for Are Logics Based on Dependent Types Stronger Than Ones Without?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 24, 2022 at 21:16 | vote | accept | Wno-all | ||
| Feb 24, 2022 at 18:17 | history | edited | Pedro Sánchez Terraf | CC BY-SA 4.0 |
Some references provided by user9716869:
|
| Feb 24, 2022 at 13:05 | history | answered | Pedro Sánchez Terraf | CC BY-SA 4.0 |