extensionality पर टैग किए गए जवाब

मुझे लगता है कि मैं इसे समझ नहीं हूँ, लेकिन ηη\eta एक के रूप में मेरे लिए रूपांतरण दिखता ββ\beta रूपांतरण कि कुछ भी नहीं, का एक विशेष मामला करता ββ\beta रूपांतरण जहां परिणाम सिर्फ लैम्ब्डा अमूर्त में शब्द है कोई लेना देना नहीं है, क्योंकि, एक व्यर्थ की तरह …

18 lo.logic  lambda-calculus  extensionality 

लैम्ब्डा कैलकुलस के दो मुख्य, अध्ययन किए गए सिद्धांत हैं, बीटा सिद्धांत और इसका उत्तर-पूर्ण विस्तार, बीटा-एटा सिद्धांत। क्या इन दो सिद्धांतों के बीच में एक तरह का मध्यवर्ती ईटा नियम है, जो एक फिर से लिखना सिद्धांत देता है? क्या आंशिक विलक्षणता की कुछ दिलचस्प धारणा है जो इससे …

15 lo.logic  lambda-calculus  extensionality 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 seqफ़ंक्शन को दो समीकरणों द्वारा निर्दिष्ट …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Klop, van Oostrom, और de Vrijer के पैटर्न के साथ लैम्ब्डा कैलकुलस पर एक पेपर है। http://www.sciencedirect.com/science/article/pii/S0304397508000571 कुछ अर्थों में, एक पैटर्न चर का एक पेड़ है - हालांकि मैं इसके बारे में सिर्फ चर के घोंसले के रूप में सोच रहा हूं, उदाहरण के लिए, (x, y), z), (t, …

12 type-theory  lambda-calculus  typed-lambda-calculus  extensionality 

मैं LISP पर एक पुस्तक का अनुवाद कर रहा हूँ और स्वाभाविक रूप से यह कुछ तत्वों के -calculus को छूती है । तो, वहाँ एक प्रतिरूपता की धारणा का उल्लेख किया गया है जिसमें -calculus के कुछ मॉडल शामिल हैं , अर्थात्: और (हाँ, शीर्ष पर अनंतता के साथ)। …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

यदि आपके पास एक अलग सॉर्टिंग एल्गोरिदम को लागू करने वाले दो कार्य हैं, तो क्या स्रोत कोड द्वारा अनुमान लगाना संभव है कि वे दोनों एक ही बाहरी गुण हैं? इसका अर्थ है कि वे दोनों उनके इनपुट के रूप में एक संभव लिंक नहीं करेंगे और उनके आउटपुट …

9 pl.programming-languages  decidability  formal-methods  extensionality