Herbrandized modified realizability
Article in Archive for Mathematical Logic (April 2024)
The most recent citing publications are shown below. View all 462 publications that cite this research output on Dimensions.
Article in Archive for Mathematical Logic (April 2024)
Article in Computability (April 2024)
Article in Logical Methods in Computer Science (January 2024)