Correction to: Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers

Lecture notes in computer science 2026 Open access

Read full text
Authors: Ryunosuke Endo, Tachio Terauchi
DOI: 10.1007/978-981-95-3585-9_14
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Computability AI Algorithms Formal Methods in Verification

Publication details

Journal / source
Lecture notes in computer science
Pages
C1–C1
Publication date
1 January 2026
Language
EN