نتایج جستجو برای: synthetic proposition
تعداد نتایج: 154430 فیلتر نتایج به سال:
Journal:
:J. Symb. Log.
2003
Koji Nakazawa
Makoto Tatsuta
Our paper [1] contains a serious error. Proposition 4.6 of [1] is actually false and hence our strong normalization proof does not work for the Curry-style λμ-calculus. However, our method still can show that (1) the correction of Proposition 5.4 of [2], and (2) the correction of the proof of strong normalization of Church-style λμ-calculus by CPS-translation. Firstly, our method is still effec...
Journal:
:TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES
2018
Journal:
:Indonesian Management and Accounting Research
2019
Journal:
:Journal of the Academy of Nutrition and Dietetics
2018
Journal:
:Indian Journal of Anaesthesia
2021
Journal:
:Journal of Clinical Investigation
2008
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید