Academic literature on the topic 'Beta-Reduction theory'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Beta-Reduction theory.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Beta-Reduction theory"
Asperti, Andrea, and Harry G. Mairson. "Parallel Beta Reduction Is Not Elementary Recursive." Information and Computation 170, no. 1 (2001): 49–80. http://dx.doi.org/10.1006/inco.2001.2869.
Full textSu, Ting-Yu, Pi-Lien Hung, Chien Chen, Ying-Jui Lin, and Syu-Jyun Peng. "Graph Theory-Based Electroencephalographic Connectivity and Its Association with Ketogenic Diet Effectiveness in Epileptic Children." Nutrients 13, no. 7 (2021): 2186. http://dx.doi.org/10.3390/nu13072186.
Full textHelander, P., and M. Lisak. "Effects of trapped alpha particles on internal kink modes in tokamaks." Journal of Plasma Physics 47, no. 2 (1992): 281–93. http://dx.doi.org/10.1017/s0022377800024235.
Full textSILES, VINCENT, and HUGO HERBELIN. "Pure Type System conversion is always typable." Journal of Functional Programming 22, no. 2 (2012): 153–80. http://dx.doi.org/10.1017/s0956796812000044.
Full textNielsen, Jørgen. "The distribution of volume reductions induced by isotropic random projections." Advances in Applied Probability 31, no. 04 (1999): 985–94. http://dx.doi.org/10.1017/s0001867800009563.
Full textMartínez, Salomé, and Dora Salazar. "Multi-clustered solutions for a singularly perturbed forced pendulum equation." Proceedings of the Royal Society of Edinburgh: Section A Mathematics 150, no. 1 (2019): 387–417. http://dx.doi.org/10.1017/prm.2018.62.
Full textNielsen, Jørgen. "The distribution of volume reductions induced by isotropic random projections." Advances in Applied Probability 31, no. 4 (1999): 985–94. http://dx.doi.org/10.1239/aap/1029955254.
Full textShankar, Ananth N., Arul Shankar, and Xiaoheng Wang. "Large families of elliptic curves ordered by conductor." Compositio Mathematica 157, no. 7 (2021): 1538–83. http://dx.doi.org/10.1112/s0010437x21007193.
Full textArmand, Ella Fils, Manjula Shantaram, Njayou Frédéric Nico, Fewou Ngamli Simon, and Moundipa Fewou Paul. "Potential of medicinal plant compounds to targeting Tau protein in the therapy of Alzheimer’s disease– A review." Biomedicine 39, no. 2 (2020): 217–27. http://dx.doi.org/10.51248/.v39i2.184.
Full textYang, Chyn-Yng, Chiung-Hua Chen, Hsin Chu, et al. "The Effect of Music Therapy on Hospitalized Psychiatric Patients’ Anxiety, Finger Temperature, and Electroencephalography." Biological Research For Nursing 14, no. 2 (2011): 197–206. http://dx.doi.org/10.1177/1099800411406258.
Full textDissertations / Theses on the topic "Beta-Reduction theory"
Alberti, Michele. "On operational properties of quantitative extensions of lambda-calculus." Thesis, Aix-Marseille, 2014. http://www.theses.fr/2014AIXM4076/document.
Full textBook chapters on the topic "Beta-Reduction theory"
Agrawal, Rajendra Prasad, Ritvik Agrawal, Mo'ez Al-Islam Ezzat Faris, and Hadeel Ali Ghazzawi. "Potential Anti-Diabetic Effect of Camel Milk." In Handbook of Research on Health and Environmental Benefits of Camel Products. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-1604-1.ch009.
Full textBurnier, Michel, Sverre Kjeldsen, Anthony Heagerty, and Bryan Williams. "Drug treatment of hypertension." In ESC CardioMed, edited by Bryan Williams. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780198784906.003.0569.
Full textBurnier, Michel, Sverre Kjeldsen, Anthony Heagerty, and Bryan Williams. "Drug treatment of hypertension." In ESC CardioMed, edited by Bryan Williams. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780198784906.003.0569_update_001.
Full textHilorme, Tetiana, and Mykola Dron’. "SUBSTANTIATION OF PROJECTS IN THE SPACE DEBRIS MARKET IN THE AGE OF NEW SPACE." In European vector of development of the modern scientific researches. Publishing House “Baltija Publishing”, 2021. http://dx.doi.org/10.30525/978-9934-26-077-3-23.
Full textConference papers on the topic "Beta-Reduction theory"
Hattori, Takatoshi, and Michiya Sasaki. "Development of Waste Monitor of Clearance Level to Ensure Social Reliance on Recycled Metal From Nuclear Facilities." In ASME 2003 9th International Conference on Radioactive Waste Management and Environmental Remediation. ASMEDC, 2003. http://dx.doi.org/10.1115/icem2003-4534.
Full textDol, F., G. Houin, D. Dupouy, et al. "THE PHARMACOKINETICS OF 125-I DERMATAN SULFATE IN THE RABBIT." In XIth International Congress on Thrombosis and Haemostasis. Schattauer GmbH, 1987. http://dx.doi.org/10.1055/s-0038-1643243.
Full textPiotrowicz, Randolph S., Kenneth M. Yamada, and Kunicki J. Kunicki. "HUMAN PLATELET GLYCOPROTEIN Ic-IIa IS AN ACTIVATION-INDEPENDENT FIBRONECTIN RECEPTOR." In XIth International Congress on Thrombosis and Haemostasis. Schattauer GmbH, 1987. http://dx.doi.org/10.1055/s-0038-1643911.
Full textKadhim, Hakim T. K., Aldo Rona, Hayder M. B. Obaida, and J. Paul Gostelow. "Numerical Study of the Flow Past an Axial Turbine Stator Casing and Perspectives for its Management." In ASME Turbo Expo 2017: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/gt2017-63055.
Full textDenton, Mark S., and Mercouri G. Kanatzidis. "Innovative Highly Selective Removal of Cesium and Strontium Utilizing a Newly Developed Class of Inorganic Ion Specific Media." In ASME 2009 12th International Conference on Environmental Remediation and Radioactive Waste Management. ASMEDC, 2009. http://dx.doi.org/10.1115/icem2009-16221.
Full text