Article Dans Une Revue
Logical Methods in Computer Science
Année : 2019
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04907860
Soumis le : jeudi 23 janvier 2025-11:01:28
Dernière modification le : lundi 13 octobre 2025-09:44:15
Dates et versions
Identifiants
- HAL Id : hal-04907860 , version 1
- ARXIV : 1803.08958
- DOI : 10.23638/LMCS-15(4:13)2019
Citer
Cécilia Pradic, Colin Riba. A Curry-Howard Approach to Church's Synthesis. Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(4:13)2019⟩. ⟨hal-04907860⟩
46
Consultations
0
Téléchargements