Articles de revues sur le sujet « Higher inductive types »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Higher inductive types ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
LUMSDAINE, PETER LEFANU, et MICHAEL SHULMAN. « Semantics of higher inductive types ». Mathematical Proceedings of the Cambridge Philosophical Society 169, no 1 (17 juin 2019) : 159–208. http://dx.doi.org/10.1017/s030500411900015x.
Texte intégralSojakova, Kristina. « Higher Inductive Types as Homotopy-Initial Algebras ». ACM SIGPLAN Notices 50, no 1 (11 mai 2015) : 31–42. http://dx.doi.org/10.1145/2775051.2676983.
Texte intégralCavallo, Evan, et Robert Harper. « Higher inductive types in cubical computational type theory ». Proceedings of the ACM on Programming Languages 3, POPL (2 janvier 2019) : 1–27. http://dx.doi.org/10.1145/3290314.
Texte intégralDybjer, Peter, et Hugo Moeneclaey. « Finitary Higher Inductive Types in the Groupoid Model ». Electronic Notes in Theoretical Computer Science 336 (avril 2018) : 119–34. http://dx.doi.org/10.1016/j.entcs.2018.03.019.
Texte intégralvan der Weide, Niels, et Herman Geuvers. « The Construction of Set-Truncated Higher Inductive Types ». Electronic Notes in Theoretical Computer Science 347 (novembre 2019) : 261–80. http://dx.doi.org/10.1016/j.entcs.2019.09.014.
Texte intégralTan, Qingping. « A higher-order unification algorithm for inductive types and dependent types ». Journal of Computer Science and Technology 12, no 3 (mai 1997) : 231–43. http://dx.doi.org/10.1007/bf02948973.
Texte intégralVezzosi, Andrea, Anders Mörtberg et 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 juillet 2019) : 1–29. http://dx.doi.org/10.1145/3341691.
Texte intégralSwan, Andrew W. « A class of higher inductive types in Zermelo‐Fraenkel set theory ». Mathematical Logic Quarterly 68, no 1 (21 janvier 2022) : 118–27. http://dx.doi.org/10.1002/malq.202100040.
Texte intégralABEL, ANDREAS. « Polarised subtyping for sized types ». Mathematical Structures in Computer Science 18, no 5 (octobre 2008) : 797–822. http://dx.doi.org/10.1017/s0960129508006853.
Texte intégralBERGER, ULRICH, et TIE HOU. « A realizability interpretation of Church's simple theory of types ». Mathematical Structures in Computer Science 27, no 8 (22 juillet 2016) : 1364–85. http://dx.doi.org/10.1017/s0960129516000104.
Texte intégralCARETTE, JACQUES, OLEG KISELYOV et CHUNG-CHIEH SHAN. « Finally tagless, partially evaluated : Tagless staged interpreters for simpler typed languages ». Journal of Functional Programming 19, no 5 (15 avril 2009) : 509–43. http://dx.doi.org/10.1017/s0956796809007205.
Texte intégralFang, Lanting, Kaiyu Feng, Jie Gui, Shanshan Feng et Aiqun Hu. « Anonymous Edge Representation for Inductive Anomaly Detection in Dynamic Bipartite Graph ». Proceedings of the VLDB Endowment 16, no 5 (janvier 2023) : 1154–67. http://dx.doi.org/10.14778/3579075.3579088.
Texte intégralHuet, Gérard. « Residual theory in λ-calculus : a formal development ». Journal of Functional Programming 4, no 3 (juillet 1994) : 371–94. http://dx.doi.org/10.1017/s0956796800001106.
Texte intégralDaher, Wajeeh, Kifaya Sabbah et Maysa Abuzant. « Affective Engagement of Higher Education Students in an Online Course ». Emerging Science Journal 5, no 4 (1 août 2021) : 545–58. http://dx.doi.org/10.28991/esj-2021-01296.
Texte intégralLi, Qian, Joyce Karreman et 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 (24 juin 2020) : 335–63. http://dx.doi.org/10.1177/1050651920932192.
Texte intégralVargas, Carlos Alberto, et Hector Andres Tinoco. « Electrical Performance of a Piezo-inductive Device for Energy Harvesting with Low-Frequency Vibrations ». Actuators 8, no 3 (16 juillet 2019) : 55. http://dx.doi.org/10.3390/act8030055.
Texte intégralCHAPMAN, JAMES, TARMO UUSTALU et NICCOLÒ VELTRI. « Quotienting the delay monad by weak bisimilarity ». Mathematical Structures in Computer Science 29, no 1 (17 octobre 2017) : 67–92. http://dx.doi.org/10.1017/s0960129517000184.
Texte intégralMEHMOOD, MUHAMMAD AWAIS, QAISER RASHID JANJUA et 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 (28 juin 2021) : 26–41. http://dx.doi.org/10.30543/10-2(2021)-3.
Texte intégralWALUKIEWICZ-CHRZĄSZCZ, DARIA. « Termination of rewriting in the Calculus of Constructions ». Journal of Functional Programming 13, no 2 (mars 2003) : 339–414. http://dx.doi.org/10.1017/s0956796802004641.
Texte intégralGramatakos, Anastasia Luise, et Stephanie Lavau. « Informal learning for sustainability in higher education institutions ». International Journal of Sustainability in Higher Education 20, no 2 (4 février 2019) : 378–92. http://dx.doi.org/10.1108/ijshe-10-2018-0177.
Texte intégralPryima, L. Yu, et K. S. Chupryna. « APPLYING CORPUS APPROACH AT THE ENGLISH CLASSES IN HIGHER EDUCATIONAL ESTABLISHMENTS ». Актуальні проблеми сучасної медицини : Вісник Української медичної стоматологічної академії 19, no 2 (19 juillet 2019) : 206–10. http://dx.doi.org/10.31718/2077-1096.19.2.206.
Texte intégralBarendsen, Erik, et Sjaak Smetsers. « Uniqueness typing for functional languages with graph rewriting semantics ». Mathematical Structures in Computer Science 6, no 6 (décembre 1996) : 579–612. http://dx.doi.org/10.1017/s0960129500070109.
Texte intégralGYLTERUD, HÅKON ROBBESTAD. « FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY ». Journal of Symbolic Logic 83, no 3 (septembre 2018) : 1132–46. http://dx.doi.org/10.1017/jsl.2017.84.
Texte intégralIskandar, 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.
Texte intégralFaivre-Rampant, Odile, Jean-Paul Charpentier, Claire Kevers, Jacques Dommes, Harry Van Onckelen, Christian Jay-Allemand et 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.
Texte intégralOraee, Narges, Azam Sanatjoo et 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 (30 août 2021) : 125–42. http://dx.doi.org/10.22452/mjlis.vol26no2.7.
Texte intégralLecluyse, Cédric, Ben Minnaert et Michael Kleemann. « A Review of the Current State of Technology of Capacitive Wireless Power Transfer ». Energies 14, no 18 (16 septembre 2021) : 5862. http://dx.doi.org/10.3390/en14185862.
Texte intégralSo, Mike K. P. « Robo-Advising Risk Profiling through Content Analysis for Sustainable Development in the Hong Kong Financial Market ». Sustainability 13, no 3 (27 janvier 2021) : 1306. http://dx.doi.org/10.3390/su13031306.
Texte intégralLima, Giuseppina Pace Pereira, Isabela M. Toledo Piza, Andréa Henrique et Massanori Takaki. « Polyamines as salinity biochemical marker in callus of Eucalyptus urograndis. » Ciência Florestal 13, no 1 (30 mars 2005) : 43. http://dx.doi.org/10.5902/198050981722.
Texte intégralFendt, Jacqueline. « Qualitative Studies in Management Research : An Emerging Epistemology of Meta-Analysis ». Current Research in Psychology and Behavioral Science (CRPBS) 4, no 1 (31 janvier 2023) : 1–10. http://dx.doi.org/10.54026/crpbs/1084.
Texte intégralSu, Qian, Xin Liu, Yan Li, Xiaosong Wang, Zhiqiang Wang et 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 (1 mars 2021) : 575. http://dx.doi.org/10.3390/electronics10050575.
Texte intégralGhaemi, 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 (27 juin 2022) : 48–70. http://dx.doi.org/10.54855/ijte.22244.
Texte intégralIkeda, Fumihito. « Development of training programs and evaluation methods for question intelligence ». Impact 2022, no 5 (13 octobre 2022) : 31–33. http://dx.doi.org/10.21820/23987073.2022.5.31.
Texte intégralGALLAGHER, JOHN, et MICHAEL GELFOND. « Introduction to the 27th International Conference on Logic Programming Special Issue ». Theory and Practice of Logic Programming 11, no 4-5 (juillet 2011) : 429–32. http://dx.doi.org/10.1017/s1471068411000342.
Texte intégralMantecón-Oria, Marián, Nazely Diban, Maria T. Berciano, Maria J. Rivero, Oana David, Miguel Lafarga, Olga Tapia et 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 (22 juillet 2020) : 161. http://dx.doi.org/10.3390/membranes10080161.
Texte intégralRimmele, Ulrike, Nicola Ballhausen, Andreas Ihle et 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 (10 février 2022) : 244. http://dx.doi.org/10.3390/brainsci12020244.
Texte intégralChiwandire, 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 (27 août 2022) : 73–99. http://dx.doi.org/10.36615/sotls.v6i2.243.
Texte intégralFRIDLENDER, DANIEL. « A proof-irrelevant model of Martin-Löf's logical framework ». Mathematical Structures in Computer Science 12, no 6 (décembre 2002) : 771–95. http://dx.doi.org/10.1017/s0960129502003766.
Texte intégralKirk-Brown, AK, et PA Van Dijk. « An empowerment model of workplace support following disclosure, for people with MS ». Multiple Sclerosis Journal 20, no 12 (11 mars 2014) : 1624–32. http://dx.doi.org/10.1177/1352458514525869.
Texte intégralDiederich, Sven, Ekkehard Eigendorff, Patrick Burkhardt, Marcus Quinkler, Christiane Bumke-Vogt, Marina Rochel, Dieter Seidelmann, Peter Esperling, Wolfgang Oelkers et 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, no 12 (1 décembre 2002) : 5695–701. http://dx.doi.org/10.1210/jc.2002-020970.
Texte intégralDespeyroux, Joëlle, et 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 (janvier 2000) : 135–36. http://dx.doi.org/10.1017/s0956796899009892.
Texte intégralNajem, Mostafa Bassam. « Issues Related to the Higher Objectives of the Sharī‘ah in Order to Tighten the Practice of Islamic Banking ». مجلة إسرا الدولية للمالية الإسلامية 7, no 2 (26 décembre 2016) : 120–49. http://dx.doi.org/10.55188/ijifarabic.v7i2.285.
Texte intégralTian, Tian, Peng Li, Huiqun Huang, Yilin Pu et Bin Wu. « A Low Spur and Low Jitter Quadrature LO-Generator Using CML Inductive Peaking Technique for WLAN Transceiver ». Electronics 10, no 15 (3 août 2021) : 1869. http://dx.doi.org/10.3390/electronics10151869.
Texte intégralGAVA, FRÉDÉRIC. « FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS ». Parallel Processing Letters 13, no 03 (septembre 2003) : 365–76. http://dx.doi.org/10.1142/s0129626403001343.
Texte intégralLEUSCHEL, MICHAEL, et TOM SCHRIJVERS. « Introduction to the 30th International Conference on Logic Programming Special Issue ». Theory and Practice of Logic Programming 14, no 4-5 (juillet 2014) : 401–14. http://dx.doi.org/10.1017/s1471068414000581.
Texte intégralKorenkova, Marcela, Milan Maros, Michal Levicky et Milan Fila. « Consumer Perception of Modern and Traditional Forms of Advertising ». Sustainability 12, no 23 (30 novembre 2020) : 9996. http://dx.doi.org/10.3390/su12239996.
Texte intégralBaužienė, Zita, Dalia Perkumienė et 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.
Texte intégralLe, K. H., et 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 (18 août 2018) : 3243–48. http://dx.doi.org/10.48084/etasr.2198.
Texte intégralPastare, Anita, Aira Aija Krumina et 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 mai 2020) : 424. http://dx.doi.org/10.17770/sie2020vol3.5143.
Texte intégralRom, Shelly, et Zvi Reich. « Between the technological hare and the journalistic tortoise : Minimization of knowledge claims in online news flashes ». Journalism 21, no 1 (22 novembre 2017) : 54–72. http://dx.doi.org/10.1177/1464884917740050.
Texte intégral