Interactive Realizers

DOI10.1145/2159531.2159533zbMath1351.68069OpenAlexW1970441061MaRDI QIDQ2946659

Stefano Berardi, Ugo de'Liguoro

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2159531.2159533

zbMATH Keywords

realizabilitylearning in the limitconstructive interpretations of classical logic

Mathematics Subject Classification ID

Computational learning theory (68Q32) Logic in computer science (03B70) First-order arithmetic and fragments (03F30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem ⋮ Unnamed Item

This page was built for publication: Interactive Realizers