Artículos de revistas sobre el tema "Higher inductive types"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Higher inductive types".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
LUMSDAINE, PETER LEFANU y MICHAEL SHULMAN. "Semantics of higher inductive types". Mathematical Proceedings of the Cambridge Philosophical Society 169, n.º 1 (17 de junio de 2019): 159–208. http://dx.doi.org/10.1017/s030500411900015x.
Texto completoSojakova, Kristina. "Higher Inductive Types as Homotopy-Initial Algebras". ACM SIGPLAN Notices 50, n.º 1 (11 de mayo de 2015): 31–42. http://dx.doi.org/10.1145/2775051.2676983.
Texto completoCavallo, Evan y Robert Harper. "Higher inductive types in cubical computational type theory". Proceedings of the ACM on Programming Languages 3, POPL (2 de enero de 2019): 1–27. http://dx.doi.org/10.1145/3290314.
Texto completoDybjer, Peter y Hugo Moeneclaey. "Finitary Higher Inductive Types in the Groupoid Model". Electronic Notes in Theoretical Computer Science 336 (abril de 2018): 119–34. http://dx.doi.org/10.1016/j.entcs.2018.03.019.
Texto completovan der Weide, Niels y Herman Geuvers. "The Construction of Set-Truncated Higher Inductive Types". Electronic Notes in Theoretical Computer Science 347 (noviembre de 2019): 261–80. http://dx.doi.org/10.1016/j.entcs.2019.09.014.
Texto completoTan, Qingping. "A higher-order unification algorithm for inductive types and dependent types". Journal of Computer Science and Technology 12, n.º 3 (mayo de 1997): 231–43. http://dx.doi.org/10.1007/bf02948973.
Texto completoVezzosi, Andrea, Anders Mörtberg y Andreas Abel. "Cubical agda: a dependently typed programming language with univalence and higher inductive types". Proceedings of the ACM on Programming Languages 3, ICFP (26 de julio de 2019): 1–29. http://dx.doi.org/10.1145/3341691.
Texto completoSwan, Andrew W. "A class of higher inductive types in Zermelo‐Fraenkel set theory". Mathematical Logic Quarterly 68, n.º 1 (21 de enero de 2022): 118–27. http://dx.doi.org/10.1002/malq.202100040.
Texto completoABEL, ANDREAS. "Polarised subtyping for sized types". Mathematical Structures in Computer Science 18, n.º 5 (octubre de 2008): 797–822. http://dx.doi.org/10.1017/s0960129508006853.
Texto completoBERGER, ULRICH y TIE HOU. "A realizability interpretation of Church's simple theory of types". Mathematical Structures in Computer Science 27, n.º 8 (22 de julio de 2016): 1364–85. http://dx.doi.org/10.1017/s0960129516000104.
Texto completoCARETTE, JACQUES, OLEG KISELYOV y CHUNG-CHIEH SHAN. "Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages". Journal of Functional Programming 19, n.º 5 (15 de abril de 2009): 509–43. http://dx.doi.org/10.1017/s0956796809007205.
Texto completoFang, Lanting, Kaiyu Feng, Jie Gui, Shanshan Feng y Aiqun Hu. "Anonymous Edge Representation for Inductive Anomaly Detection in Dynamic Bipartite Graph". Proceedings of the VLDB Endowment 16, n.º 5 (enero de 2023): 1154–67. http://dx.doi.org/10.14778/3579075.3579088.
Texto completoHuet, Gérard. "Residual theory in λ-calculus: a formal development". Journal of Functional Programming 4, n.º 3 (julio de 1994): 371–94. http://dx.doi.org/10.1017/s0956796800001106.
Texto completoDaher, Wajeeh, Kifaya Sabbah y Maysa Abuzant. "Affective Engagement of Higher Education Students in an Online Course". Emerging Science Journal 5, n.º 4 (1 de agosto de 2021): 545–58. http://dx.doi.org/10.28991/esj-2021-01296.
Texto completoLi, Qian, Joyce Karreman y Menno D. T. de Jong. "Inductively Versus Deductively Structured Product Descriptions: Effects on Chinese and Western Readers". Journal of Business and Technical Communication 34, n.º 4 (24 de junio de 2020): 335–63. http://dx.doi.org/10.1177/1050651920932192.
Texto completoVargas, Carlos Alberto y Hector Andres Tinoco. "Electrical Performance of a Piezo-inductive Device for Energy Harvesting with Low-Frequency Vibrations". Actuators 8, n.º 3 (16 de julio de 2019): 55. http://dx.doi.org/10.3390/act8030055.
Texto completoCHAPMAN, JAMES, TARMO UUSTALU y NICCOLÒ VELTRI. "Quotienting the delay monad by weak bisimilarity". Mathematical Structures in Computer Science 29, n.º 1 (17 de octubre de 2017): 67–92. http://dx.doi.org/10.1017/s0960129517000184.
Texto completoMEHMOOD, MUHAMMAD AWAIS, QAISER RASHID JANJUA y 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, n.º 2 (28 de junio de 2021): 26–41. http://dx.doi.org/10.30543/10-2(2021)-3.
Texto completoWALUKIEWICZ-CHRZĄSZCZ, DARIA. "Termination of rewriting in the Calculus of Constructions". Journal of Functional Programming 13, n.º 2 (marzo de 2003): 339–414. http://dx.doi.org/10.1017/s0956796802004641.
Texto completoGramatakos, Anastasia Luise y Stephanie Lavau. "Informal learning for sustainability in higher education institutions". International Journal of Sustainability in Higher Education 20, n.º 2 (4 de febrero de 2019): 378–92. http://dx.doi.org/10.1108/ijshe-10-2018-0177.
Texto completoPryima, L. Yu y K. S. Chupryna. "APPLYING CORPUS APPROACH AT THE ENGLISH CLASSES IN HIGHER EDUCATIONAL ESTABLISHMENTS". Актуальні проблеми сучасної медицини: Вісник Української медичної стоматологічної академії 19, n.º 2 (19 de julio de 2019): 206–10. http://dx.doi.org/10.31718/2077-1096.19.2.206.
Texto completoBarendsen, Erik y Sjaak Smetsers. "Uniqueness typing for functional languages with graph rewriting semantics". Mathematical Structures in Computer Science 6, n.º 6 (diciembre de 1996): 579–612. http://dx.doi.org/10.1017/s0960129500070109.
Texto completoGYLTERUD, HÅKON ROBBESTAD. "FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY". Journal of Symbolic Logic 83, n.º 3 (septiembre de 2018): 1132–46. http://dx.doi.org/10.1017/jsl.2017.84.
Texto completoIskandar, Samer. "Shareholder types, their concentration and its effects on demutualized exchanges’ operating and financial results - An empirical study". Corporate Ownership and Control 11, n.º 4 (2014): 114–30. http://dx.doi.org/10.22495/cocv11i4p8.
Texto completoFaivre-Rampant, Odile, Jean-Paul Charpentier, Claire Kevers, Jacques Dommes, Harry Van Onckelen, Christian Jay-Allemand y Thomas Gaspar. "Cuttings of the non-rooting rac tobacco mutant overaccumulate phenolic compounds". Functional Plant Biology 29, n.º 1 (2002): 63. http://dx.doi.org/10.1071/pp01016.
Texto completoOraee, Narges, Azam Sanatjoo y Mohammad Reza Ahanchian. "An exploratory study on competitive intelligence: Managers' information needs in higher education sector". Malaysian Journal of Library & Information Science 26, n.º 2 (30 de agosto de 2021): 125–42. http://dx.doi.org/10.22452/mjlis.vol26no2.7.
Texto completoLecluyse, Cédric, Ben Minnaert y Michael Kleemann. "A Review of the Current State of Technology of Capacitive Wireless Power Transfer". Energies 14, n.º 18 (16 de septiembre de 2021): 5862. http://dx.doi.org/10.3390/en14185862.
Texto completoSo, Mike K. P. "Robo-Advising Risk Profiling through Content Analysis for Sustainable Development in the Hong Kong Financial Market". Sustainability 13, n.º 3 (27 de enero de 2021): 1306. http://dx.doi.org/10.3390/su13031306.
Texto completoLima, Giuseppina Pace Pereira, Isabela M. Toledo Piza, Andréa Henrique y Massanori Takaki. "Polyamines as salinity biochemical marker in callus of Eucalyptus urograndis." Ciência Florestal 13, n.º 1 (30 de marzo de 2005): 43. http://dx.doi.org/10.5902/198050981722.
Texto completoFendt, Jacqueline. "Qualitative Studies in Management Research: An Emerging Epistemology of Meta-Analysis". Current Research in Psychology and Behavioral Science (CRPBS) 4, n.º 1 (31 de enero de 2023): 1–10. http://dx.doi.org/10.54026/crpbs/1084.
Texto completoSu, Qian, Xin Liu, Yan Li, Xiaosong Wang, Zhiqiang Wang y 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, n.º 5 (1 de marzo de 2021): 575. http://dx.doi.org/10.3390/electronics10050575.
Texto completoGhaemi, Hamed. "Phraseological competence in IELTS academic writing task 2: A study of Indian test-takers’ perceptions and use". International Journal of TESOL & Education 2, n.º 4 (27 de junio de 2022): 48–70. http://dx.doi.org/10.54855/ijte.22244.
Texto completoIkeda, Fumihito. "Development of training programs and evaluation methods for question intelligence". Impact 2022, n.º 5 (13 de octubre de 2022): 31–33. http://dx.doi.org/10.21820/23987073.2022.5.31.
Texto completoGALLAGHER, JOHN y MICHAEL GELFOND. "Introduction to the 27th International Conference on Logic Programming Special Issue". Theory and Practice of Logic Programming 11, n.º 4-5 (julio de 2011): 429–32. http://dx.doi.org/10.1017/s1471068411000342.
Texto completoMantecón-Oria, Marián, Nazely Diban, Maria T. Berciano, Maria J. Rivero, Oana David, Miguel Lafarga, Olga Tapia y Ane Urtiaga. "Hollow Fiber Membranes of PCL and PCL/Graphene as Scaffolds with Potential to Develop In Vitro Blood—Brain Barrier Models". Membranes 10, n.º 8 (22 de julio de 2020): 161. http://dx.doi.org/10.3390/membranes10080161.
Texto completoRimmele, Ulrike, Nicola Ballhausen, Andreas Ihle y 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, n.º 2 (10 de febrero de 2022): 244. http://dx.doi.org/10.3390/brainsci12020244.
Texto completoChiwandire, 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, n.º 2 (27 de agosto de 2022): 73–99. http://dx.doi.org/10.36615/sotls.v6i2.243.
Texto completoFRIDLENDER, DANIEL. "A proof-irrelevant model of Martin-Löf's logical framework". Mathematical Structures in Computer Science 12, n.º 6 (diciembre de 2002): 771–95. http://dx.doi.org/10.1017/s0960129502003766.
Texto completoKirk-Brown, AK y PA Van Dijk. "An empowerment model of workplace support following disclosure, for people with MS". Multiple Sclerosis Journal 20, n.º 12 (11 de marzo de 2014): 1624–32. http://dx.doi.org/10.1177/1352458514525869.
Texto completoDiederich, Sven, Ekkehard Eigendorff, Patrick Burkhardt, Marcus Quinkler, Christiane Bumke-Vogt, Marina Rochel, Dieter Seidelmann, Peter Esperling, Wolfgang Oelkers y 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, n.º 12 (1 de diciembre de 2002): 5695–701. http://dx.doi.org/10.1210/jc.2002-020970.
Texto completoDespeyroux, Joëlle y Robert Harper. "Special issue on Logical Frameworks and Metalanguages http//www-sop.inria.fr/certilab/LFM00/cfp-jfp.html". Journal of Functional Programming 10, n.º 1 (enero de 2000): 135–36. http://dx.doi.org/10.1017/s0956796899009892.
Texto completoNajem, Mostafa Bassam. "Issues Related to the Higher Objectives of the Sharī‘ah in Order to Tighten the Practice of Islamic Banking". مجلة إسرا الدولية للمالية الإسلامية 7, n.º 2 (26 de diciembre de 2016): 120–49. http://dx.doi.org/10.55188/ijifarabic.v7i2.285.
Texto completoTian, Tian, Peng Li, Huiqun Huang, Yilin Pu y Bin Wu. "A Low Spur and Low Jitter Quadrature LO-Generator Using CML Inductive Peaking Technique for WLAN Transceiver". Electronics 10, n.º 15 (3 de agosto de 2021): 1869. http://dx.doi.org/10.3390/electronics10151869.
Texto completoGAVA, FRÉDÉRIC. "FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS". Parallel Processing Letters 13, n.º 03 (septiembre de 2003): 365–76. http://dx.doi.org/10.1142/s0129626403001343.
Texto completoLEUSCHEL, MICHAEL y TOM SCHRIJVERS. "Introduction to the 30th International Conference on Logic Programming Special Issue". Theory and Practice of Logic Programming 14, n.º 4-5 (julio de 2014): 401–14. http://dx.doi.org/10.1017/s1471068414000581.
Texto completoKorenkova, Marcela, Milan Maros, Michal Levicky y Milan Fila. "Consumer Perception of Modern and Traditional Forms of Advertising". Sustainability 12, n.º 23 (30 de noviembre de 2020): 9996. http://dx.doi.org/10.3390/su12239996.
Texto completoBaužienė, Zita, Dalia Perkumienė y Irena Marinko. "THE ROLE OF THE TEACHER IN STUDENT ORIENTED STUDIES". Laisvalaikio tyrimai 1, n.º 7 (2016): 1–10. http://dx.doi.org/10.33607/elt.v1i7.226.
Texto completoLe, K. H. y 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, n.º 4 (18 de agosto de 2018): 3243–48. http://dx.doi.org/10.48084/etasr.2198.
Texto completoPastare, Anita, Aira Aija Krumina y 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 (20 de mayo de 2020): 424. http://dx.doi.org/10.17770/sie2020vol3.5143.
Texto completoRom, Shelly y Zvi Reich. "Between the technological hare and the journalistic tortoise: Minimization of knowledge claims in online news flashes". Journalism 21, n.º 1 (22 de noviembre de 2017): 54–72. http://dx.doi.org/10.1177/1464884917740050.
Texto completo