इसका टेक्स्ट मैसेज भेजे: A Curry-Howard approach to church's synthesis