Effectful Realizability: Frameworks and Applications

Cohen, Liron (PI)

Institute for the Theory of Computing

Status	Active
Effective start/end date	1/01/25 → 31/12/29
Links	https://www.isf.org.il/#/studies

Funding

Israel Science Foundation

Access Project

https://www.isf.org.il/#/studies