Article Dans Une Revue Logical Methods in Computer Science Année : 2019

Dates et versions

hal-04907860 , version 1 (23-01-2025)

Identifiants

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

Altmetric

Partager

  • More