Published December 16, 2025
| Version v1
Conference paper
Open
Uniform Realizability Interpretations
Authors/Creators
-
1.
Swansea University
-
2.
Queen Mary University of London
Files
ccc2025_berger-oliva.pdf
Files
(294.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:833fd4b15aab828276a50c455e48fc85
|
294.9 kB | Preview Download |