SystemFtoBarRecursion
Implementations of an interpretation of system F through bar recursion defined in: https://valentinblot.org/pro/SystFbarrec.pdf
| Name | Last commit | Last update |
|---|---|---|
| Coq | ||
| Javascript | ||
| LICENSE | ||
| README.md |
| Name | Last commit | Last update |
|---|---|---|
| Coq | ||
| Javascript | ||
| LICENSE | ||
| README.md |
Implementations of an interpretation of system F through bar recursion defined in: https://valentinblot.org/pro/SystFbarrec.pdf