Статті в журналах з теми "Higher inductive types"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Higher inductive types".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
LUMSDAINE, PETER LEFANU, and MICHAEL SHULMAN. "Semantics of higher inductive types." Mathematical Proceedings of the Cambridge Philosophical Society 169, no. 1 (June 17, 2019): 159–208. http://dx.doi.org/10.1017/s030500411900015x.
Повний текст джерелаSojakova, Kristina. "Higher Inductive Types as Homotopy-Initial Algebras." ACM SIGPLAN Notices 50, no. 1 (May 11, 2015): 31–42. http://dx.doi.org/10.1145/2775051.2676983.
Повний текст джерелаCavallo, Evan, and Robert Harper. "Higher inductive types in cubical computational type theory." Proceedings of the ACM on Programming Languages 3, POPL (January 2, 2019): 1–27. http://dx.doi.org/10.1145/3290314.
Повний текст джерелаDybjer, Peter, and Hugo Moeneclaey. "Finitary Higher Inductive Types in the Groupoid Model." Electronic Notes in Theoretical Computer Science 336 (April 2018): 119–34. http://dx.doi.org/10.1016/j.entcs.2018.03.019.
Повний текст джерелаvan der Weide, Niels, and Herman Geuvers. "The Construction of Set-Truncated Higher Inductive Types." Electronic Notes in Theoretical Computer Science 347 (November 2019): 261–80. http://dx.doi.org/10.1016/j.entcs.2019.09.014.
Повний текст джерелаTan, Qingping. "A higher-order unification algorithm for inductive types and dependent types." Journal of Computer Science and Technology 12, no. 3 (May 1997): 231–43. http://dx.doi.org/10.1007/bf02948973.
Повний текст джерелаVezzosi, Andrea, Anders Mörtberg, and Andreas Abel. "Cubical agda: a dependently typed programming language with univalence and higher inductive types." Proceedings of the ACM on Programming Languages 3, ICFP (July 26, 2019): 1–29. http://dx.doi.org/10.1145/3341691.
Повний текст джерелаSwan, Andrew W. "A class of higher inductive types in Zermelo‐Fraenkel set theory." Mathematical Logic Quarterly 68, no. 1 (January 21, 2022): 118–27. http://dx.doi.org/10.1002/malq.202100040.
Повний текст джерелаABEL, ANDREAS. "Polarised subtyping for sized types." Mathematical Structures in Computer Science 18, no. 5 (October 2008): 797–822. http://dx.doi.org/10.1017/s0960129508006853.
Повний текст джерелаBERGER, ULRICH, and TIE HOU. "A realizability interpretation of Church's simple theory of types." Mathematical Structures in Computer Science 27, no. 8 (July 22, 2016): 1364–85. http://dx.doi.org/10.1017/s0960129516000104.
Повний текст джерелаCARETTE, JACQUES, OLEG KISELYOV, and CHUNG-CHIEH SHAN. "Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages." Journal of Functional Programming 19, no. 5 (April 15, 2009): 509–43. http://dx.doi.org/10.1017/s0956796809007205.
Повний текст джерелаFang, Lanting, Kaiyu Feng, Jie Gui, Shanshan Feng, and Aiqun Hu. "Anonymous Edge Representation for Inductive Anomaly Detection in Dynamic Bipartite Graph." Proceedings of the VLDB Endowment 16, no. 5 (January 2023): 1154–67. http://dx.doi.org/10.14778/3579075.3579088.
Повний текст джерелаHuet, Gérard. "Residual theory in λ-calculus: a formal development". Journal of Functional Programming 4, № 3 (липень 1994): 371–94. http://dx.doi.org/10.1017/s0956796800001106.
Повний текст джерелаDaher, Wajeeh, Kifaya Sabbah, and Maysa Abuzant. "Affective Engagement of Higher Education Students in an Online Course." Emerging Science Journal 5, no. 4 (August 1, 2021): 545–58. http://dx.doi.org/10.28991/esj-2021-01296.
Повний текст джерелаLi, Qian, Joyce Karreman, and Menno D. T. de Jong. "Inductively Versus Deductively Structured Product Descriptions: Effects on Chinese and Western Readers." Journal of Business and Technical Communication 34, no. 4 (June 24, 2020): 335–63. http://dx.doi.org/10.1177/1050651920932192.
Повний текст джерелаVargas, Carlos Alberto, and Hector Andres Tinoco. "Electrical Performance of a Piezo-inductive Device for Energy Harvesting with Low-Frequency Vibrations." Actuators 8, no. 3 (July 16, 2019): 55. http://dx.doi.org/10.3390/act8030055.
Повний текст джерелаCHAPMAN, JAMES, TARMO UUSTALU, and NICCOLÒ VELTRI. "Quotienting the delay monad by weak bisimilarity." Mathematical Structures in Computer Science 29, no. 1 (October 17, 2017): 67–92. http://dx.doi.org/10.1017/s0960129517000184.
Повний текст джерелаMEHMOOD, MUHAMMAD AWAIS, QAISER RASHID JANJUA, and FAISAL AFTAB. "Unfolding Utilization of Functional Blocks of Social Media in Building Brand Equity in Higher Education Institutes." International Review of Management and Business Research 10, no. 2 (June 28, 2021): 26–41. http://dx.doi.org/10.30543/10-2(2021)-3.
Повний текст джерелаWALUKIEWICZ-CHRZĄSZCZ, DARIA. "Termination of rewriting in the Calculus of Constructions." Journal of Functional Programming 13, no. 2 (March 2003): 339–414. http://dx.doi.org/10.1017/s0956796802004641.
Повний текст джерелаGramatakos, Anastasia Luise, and Stephanie Lavau. "Informal learning for sustainability in higher education institutions." International Journal of Sustainability in Higher Education 20, no. 2 (February 4, 2019): 378–92. http://dx.doi.org/10.1108/ijshe-10-2018-0177.
Повний текст джерелаPryima, L. Yu, and K. S. Chupryna. "APPLYING CORPUS APPROACH AT THE ENGLISH CLASSES IN HIGHER EDUCATIONAL ESTABLISHMENTS." Актуальні проблеми сучасної медицини: Вісник Української медичної стоматологічної академії 19, no. 2 (July 19, 2019): 206–10. http://dx.doi.org/10.31718/2077-1096.19.2.206.
Повний текст джерелаBarendsen, Erik, and Sjaak Smetsers. "Uniqueness typing for functional languages with graph rewriting semantics." Mathematical Structures in Computer Science 6, no. 6 (December 1996): 579–612. http://dx.doi.org/10.1017/s0960129500070109.
Повний текст джерелаGYLTERUD, HÅKON ROBBESTAD. "FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY." Journal of Symbolic Logic 83, no. 3 (September 2018): 1132–46. http://dx.doi.org/10.1017/jsl.2017.84.
Повний текст джерелаIskandar, Samer. "Shareholder types, their concentration and its effects on demutualized exchanges’ operating and financial results - An empirical study." Corporate Ownership and Control 11, no. 4 (2014): 114–30. http://dx.doi.org/10.22495/cocv11i4p8.
Повний текст джерелаFaivre-Rampant, Odile, Jean-Paul Charpentier, Claire Kevers, Jacques Dommes, Harry Van Onckelen, Christian Jay-Allemand, and Thomas Gaspar. "Cuttings of the non-rooting rac tobacco mutant overaccumulate phenolic compounds." Functional Plant Biology 29, no. 1 (2002): 63. http://dx.doi.org/10.1071/pp01016.
Повний текст джерелаOraee, Narges, Azam Sanatjoo, and Mohammad Reza Ahanchian. "An exploratory study on competitive intelligence: Managers' information needs in higher education sector." Malaysian Journal of Library & Information Science 26, no. 2 (August 30, 2021): 125–42. http://dx.doi.org/10.22452/mjlis.vol26no2.7.
Повний текст джерелаLecluyse, Cédric, Ben Minnaert, and Michael Kleemann. "A Review of the Current State of Technology of Capacitive Wireless Power Transfer." Energies 14, no. 18 (September 16, 2021): 5862. http://dx.doi.org/10.3390/en14185862.
Повний текст джерелаSo, Mike K. P. "Robo-Advising Risk Profiling through Content Analysis for Sustainable Development in the Hong Kong Financial Market." Sustainability 13, no. 3 (January 27, 2021): 1306. http://dx.doi.org/10.3390/su13031306.
Повний текст джерелаLima, Giuseppina Pace Pereira, Isabela M. Toledo Piza, Andréa Henrique, and Massanori Takaki. "Polyamines as salinity biochemical marker in callus of Eucalyptus urograndis." Ciência Florestal 13, no. 1 (March 30, 2005): 43. http://dx.doi.org/10.5902/198050981722.
Повний текст джерелаFendt, Jacqueline. "Qualitative Studies in Management Research: An Emerging Epistemology of Meta-Analysis." Current Research in Psychology and Behavioral Science (CRPBS) 4, no. 1 (January 31, 2023): 1–10. http://dx.doi.org/10.54026/crpbs/1084.
Повний текст джерелаSu, Qian, Xin Liu, Yan Li, Xiaosong Wang, Zhiqiang Wang, and Yu Liu. "A Graphical Design Methodology Based on Ideal Gyrator and Transformer for Compensation Topology with Load-Independent Output in Inductive Power Transfer System." Electronics 10, no. 5 (March 1, 2021): 575. http://dx.doi.org/10.3390/electronics10050575.
Повний текст джерелаGhaemi, Hamed. "Phraseological competence in IELTS academic writing task 2: A study of Indian test-takers’ perceptions and use." International Journal of TESOL & Education 2, no. 4 (June 27, 2022): 48–70. http://dx.doi.org/10.54855/ijte.22244.
Повний текст джерелаIkeda, Fumihito. "Development of training programs and evaluation methods for question intelligence." Impact 2022, no. 5 (October 13, 2022): 31–33. http://dx.doi.org/10.21820/23987073.2022.5.31.
Повний текст джерелаGALLAGHER, JOHN, and MICHAEL GELFOND. "Introduction to the 27th International Conference on Logic Programming Special Issue." Theory and Practice of Logic Programming 11, no. 4-5 (July 2011): 429–32. http://dx.doi.org/10.1017/s1471068411000342.
Повний текст джерелаMantecón-Oria, Marián, Nazely Diban, Maria T. Berciano, Maria J. Rivero, Oana David, Miguel Lafarga, Olga Tapia, and Ane Urtiaga. "Hollow Fiber Membranes of PCL and PCL/Graphene as Scaffolds with Potential to Develop In Vitro Blood—Brain Barrier Models." Membranes 10, no. 8 (July 22, 2020): 161. http://dx.doi.org/10.3390/membranes10080161.
Повний текст джерелаRimmele, Ulrike, Nicola Ballhausen, Andreas Ihle, and Matthias Kliegel. "In Older Adults, Perceived Stress and Self-Efficacy Are Associated with Verbal Fluency, Reasoning, and Prospective Memory (Moderated by Socioeconomic Position)." Brain Sciences 12, no. 2 (February 10, 2022): 244. http://dx.doi.org/10.3390/brainsci12020244.
Повний текст джерелаChiwandire, Desire. "COVID-19 pandemic lockdown impact on parity of participation for students with mental health challenges in higher education." Scholarship of Teaching and Learning in the South 6, no. 2 (August 27, 2022): 73–99. http://dx.doi.org/10.36615/sotls.v6i2.243.
Повний текст джерелаFRIDLENDER, DANIEL. "A proof-irrelevant model of Martin-Löf's logical framework." Mathematical Structures in Computer Science 12, no. 6 (December 2002): 771–95. http://dx.doi.org/10.1017/s0960129502003766.
Повний текст джерелаKirk-Brown, AK, and PA Van Dijk. "An empowerment model of workplace support following disclosure, for people with MS." Multiple Sclerosis Journal 20, no. 12 (March 11, 2014): 1624–32. http://dx.doi.org/10.1177/1352458514525869.
Повний текст джерелаDiederich, Sven, Ekkehard Eigendorff, Patrick Burkhardt, Marcus Quinkler, Christiane Bumke-Vogt, Marina Rochel, Dieter Seidelmann, Peter Esperling, Wolfgang Oelkers та Volker Bähr. "11β-Hydroxysteroid Dehydrogenase Types 1 and 2: An Important Pharmacokinetic Determinant for the Activity of Synthetic Mineralo- and Glucocorticoids". Journal of Clinical Endocrinology & Metabolism 87, № 12 (1 грудня 2002): 5695–701. http://dx.doi.org/10.1210/jc.2002-020970.
Повний текст джерелаDespeyroux, Joëlle, and Robert Harper. "Special issue on Logical Frameworks and Metalanguages http//www-sop.inria.fr/certilab/LFM00/cfp-jfp.html." Journal of Functional Programming 10, no. 1 (January 2000): 135–36. http://dx.doi.org/10.1017/s0956796899009892.
Повний текст джерелаNajem, Mostafa Bassam. "Issues Related to the Higher Objectives of the Sharī‘ah in Order to Tighten the Practice of Islamic Banking." مجلة إسرا الدولية للمالية الإسلامية 7, no. 2 (December 26, 2016): 120–49. http://dx.doi.org/10.55188/ijifarabic.v7i2.285.
Повний текст джерелаTian, Tian, Peng Li, Huiqun Huang, Yilin Pu, and Bin Wu. "A Low Spur and Low Jitter Quadrature LO-Generator Using CML Inductive Peaking Technique for WLAN Transceiver." Electronics 10, no. 15 (August 3, 2021): 1869. http://dx.doi.org/10.3390/electronics10151869.
Повний текст джерелаGAVA, FRÉDÉRIC. "FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS." Parallel Processing Letters 13, no. 03 (September 2003): 365–76. http://dx.doi.org/10.1142/s0129626403001343.
Повний текст джерелаLEUSCHEL, MICHAEL, and TOM SCHRIJVERS. "Introduction to the 30th International Conference on Logic Programming Special Issue." Theory and Practice of Logic Programming 14, no. 4-5 (July 2014): 401–14. http://dx.doi.org/10.1017/s1471068414000581.
Повний текст джерелаKorenkova, Marcela, Milan Maros, Michal Levicky, and Milan Fila. "Consumer Perception of Modern and Traditional Forms of Advertising." Sustainability 12, no. 23 (November 30, 2020): 9996. http://dx.doi.org/10.3390/su12239996.
Повний текст джерелаBaužienė, Zita, Dalia Perkumienė, and Irena Marinko. "THE ROLE OF THE TEACHER IN STUDENT ORIENTED STUDIES." Laisvalaikio tyrimai 1, no. 7 (2016): 1–10. http://dx.doi.org/10.33607/elt.v1i7.226.
Повний текст джерелаLe, K. H., and P. H. Vu. "Performance Evaluation of Traveling Wave Fault Locator for a 220kV Hoa Khanh-Thanh My Transmission Line." Engineering, Technology & Applied Science Research 8, no. 4 (August 18, 2018): 3243–48. http://dx.doi.org/10.48084/etasr.2198.
Повний текст джерелаPastare, Anita, Aira Aija Krumina, and Miervaldis Karulis. "CORPUS ANALYSIS OF HIGH SCHOOL LEARNERS’ RESEARCH PAPERS IN HEALTH SCIENCE (2016-2019)." SOCIETY. INTEGRATION. EDUCATION. Proceedings of the International Scientific Conference 3 (May 20, 2020): 424. http://dx.doi.org/10.17770/sie2020vol3.5143.
Повний текст джерелаRom, Shelly, and Zvi Reich. "Between the technological hare and the journalistic tortoise: Minimization of knowledge claims in online news flashes." Journalism 21, no. 1 (November 22, 2017): 54–72. http://dx.doi.org/10.1177/1464884917740050.
Повний текст джерела