Littérature scientifique sur le sujet « Higher inductive types »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques 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.
Articles de revues sur le sujet "Higher inductive types"
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égralThèses sur le sujet "Higher inductive types"
Girardi, Marco. « Proof theoretical issues in Martin-Löf Type Theory and Homotopy Type Theory ». Doctoral thesis, Università degli studi di Trento, 2022. http://hdl.handle.net/11572/348681.
Texte intégralSattler, Christian. « On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes ». Thesis, University of Nottingham, 2015. http://eprints.nottingham.ac.uk/28111/.
Texte intégralKUSAKARI, Keiichirou, Masahiko SAKAI et Toshiki SAKABE. « Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting ». IEICE, 2005. http://hdl.handle.net/2237/9580.
Texte intégralCHIBA, Yuki, et Keiichirou KUSAKARI. « A Higher-Order Knuth-Bendix Procedure and Its Applications ». Institute of Electronics, Information and Communication Engineers, 2007. http://hdl.handle.net/2237/14974.
Texte intégralXia, Bing. « Investigation of novel multi-layer spoke-type ferrite interior permanent magnet machines ». Thesis, Cranfield University, 2017. http://dspace.lib.cranfield.ac.uk/handle/1826/12320.
Texte intégralLi, Cheng-Chieh, et 李政潔. « The Design of a High Frequency Induction Heating Circuit for Heating in Air Gap Type ». Thesis, 2008. http://ndltd.ncl.edu.tw/handle/53856288745654255800.
Texte intégral中原大學
電機工程研究所
96
The induction heating process could reach high efficiency, high quality, and low pollution . The heating technique is important in related fields, especially in the rapid heating on the surface of metal. In this thesis, a high frequency induction heater for heating of conducting working piece has been designed. A load series resonant induction heating system with voltage source full bridge inverter has been constructed and tested . The system can reach low switching losses, low component stresses, and low electromagnetic interferences of power semiconductor devices. Finally, the control characteristics, efficiency, and experiment results with different parameters were measured and analyzed.
Livres sur le sujet "Higher inductive types"
Maznev, Aleksandr, et Oleg Shatnev. Electric apparatus and circuits of rolling stock. ru : INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1014641.
Texte intégralShulman, Michael. Homotopy Type Theory : A Synthetic Approach to Higher Equalities. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0003.
Texte intégralSabbagh, Michel, et John J. Freely Jr. Epiglottitis, Croup, and Stridor. Sous la direction de Matthew D. McEvoy et Cory M. Furse. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780190226459.003.0078.
Texte intégralLorino, Philippe. Inquiry. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198753216.003.0004.
Texte intégralMills, Gary H. Pulmonary disease and anaesthesia. Sous la direction de Philip M. Hopkins. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780199642045.003.0082.
Texte intégralChapitres de livres sur le sujet "Higher inductive types"
Vivekanandan, Paventhan. « Code Generation for Higher Inductive Types ». Dans Functional and Constraint Logic Programming, 18–35. Cham : Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-16202-3_2.
Texte intégralLakin, Matthew R., et Andrew M. Pitts. « Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming ». Dans Programming Languages and Systems, 47–61. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00590-9_4.
Texte intégralSchürmann, Carsten. « A Type-Theoretic Approach to Induction with Higher-Order Encodings ». Dans Logic for Programming, Artificial Intelligence, and Reasoning, 266–81. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45653-8_18.
Texte intégralda Luz, Viviane Kopp, Vívian Ebeling Viana, Gabriela Magalhães da Fonseca, Camila Pegoraro, Luciano Carlos da Maia et Antonio Costa de Oliveira. « Identification of rice mutants tolerant to cold stress at the germination stage by TILLING. » Dans Mutation breeding, genetic diversity and crop adaptation to climate change, 111–19. Wallingford : CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0011.
Texte intégralSchreiber, U. « Detection of rapid induction kinetics with a new type of high-frequency modulated chlorophyll fluorometer ». Dans Current topics in photosynthesis, 259–70. Dordrecht : Springer Netherlands, 1986. http://dx.doi.org/10.1007/978-94-009-4412-1_24.
Texte intégralBado, Souleymane, Fatemeh Maghuly, Vitor Varzea et Margit Laimer. « Mutagenesis of in vitro explants of Coffea spp. to induce fungal resistance. » Dans Mutation breeding, genetic diversity and crop adaptation to climate change, 344–52. Wallingford : CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0036.
Texte intégralBelabbas, Belkacem, Tayeb Allaoui, Mohamed Tadjine et Mouloud Denaï. « Higher Performance of the Type 2 Fuzzy Logic Controller for Direct Power Control of Wind Generator Based on a Doubly Fed Induction Generator in Dynamic Regime ». Dans Artificial Intelligence in Renewable Energetic Systems, 215–23. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-73192-6_22.
Texte intégralAbdalla, Elgailani, Tarig Ahmed, Omar Bakhit, Yasir Gamar, Salih Elshaikh, Yasir Mohammed et Abdellatif Sulaiman And Hatim Mardi. « Groundnut mutants with end-of-season drought tolerance for the marginal dry lands of North Kordofan State, Sudan. » Dans Mutation breeding, genetic diversity and crop adaptation to climate change, 243–57. Wallingford : CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0025.
Texte intégralLundqvist, Udda. « Scandinavian mutation research during the past 90 years - a historical review. » Dans Mutation breeding, genetic diversity and crop adaptation to climate change, 10–23. Wallingford : CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0002.
Texte intégralBennett, Elisabeth E. « Puzzling the Picture using Grounded Theory ». Dans Cognitive Analytics, 1778–92. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-2460-2.ch092.
Texte intégralActes de conférences sur le sujet "Higher inductive types"
Coquand, Thierry, Simon Huber et Anders Mörtberg. « On Higher Inductive Types in Cubical Type Theory ». Dans LICS '18 : 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA : ACM, 2018. http://dx.doi.org/10.1145/3209108.3209197.
Texte intégralAwodey, Steve, Jonas Frey et Sam Speight. « Impredicative Encodings of (Higher) Inductive Types ». Dans LICS '18 : 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA : ACM, 2018. http://dx.doi.org/10.1145/3209108.3209130.
Texte intégralvan der Weide, Niels. « Constructing Higher Inductive Types as Groupoid Quotients ». Dans LICS '20 : 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA : ACM, 2020. http://dx.doi.org/10.1145/3373718.3394803.
Texte intégralSojakova, Kristina. « Higher Inductive Types as Homotopy-Initial Algebras ». Dans POPL '15 : The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York, NY, USA : ACM, 2015. http://dx.doi.org/10.1145/2676726.2676983.
Texte intégralKraus, Nicolai. « Constructions with Non-Recursive Higher Inductive Types ». Dans LICS '16 : 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA : ACM, 2016. http://dx.doi.org/10.1145/2933575.2933586.
Texte intégralKraus, Nicolai, et Jakob von Raumer. « Path Spaces of Higher Inductive Types in Homotopy Type Theory ». Dans 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2019. http://dx.doi.org/10.1109/lics.2019.8785661.
Texte intégralBaunsgaard Kristensen, Magnus, Rasmus Ejlers Mogelberg et Andrea Vezzosi. « Greatest HITs : Higher inductive types in coinductive definitions via induction under clocks ». Dans LICS '22 : 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA : ACM, 2022. http://dx.doi.org/10.1145/3531130.3533359.
Texte intégralHu, Binbin, Zhengwei Wu, Jun Zhou, Ziqi Liu, Zhigang Huangfu, Zhiqiang Zhang et Chaochao Chen. « MERIT : Learning Multi-level Representations on Temporal Graphs ». Dans Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}. California : International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/ijcai.2022/288.
Texte intégralAltenkirch, Thorsten, et Luis Scoccola. « The Integers as a Higher Inductive Type ». Dans LICS '20 : 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA : ACM, 2020. http://dx.doi.org/10.1145/3373718.3394760.
Texte intégralAl-Sibahi, Ahmad Salim, Thomas P. Jensen, Aleksandar S. Dimovski et Andrzej Wąsowski. « Verification of high-level transformations with inductive refinement types ». Dans GPCE '18 : 17th ACM SIGPLAN International Conference on Generative Programming : Concepts and Experiences. New York, NY, USA : ACM, 2018. http://dx.doi.org/10.1145/3278122.3278125.
Texte intégralRapports d'organisations sur le sujet "Higher inductive types"
Paradis, S., S. E. Jackson, D. Petts, G. J. Simandl, R. J. D'Souza et T S Hamilton. Distribution of trace elements in pyrite from carbonate-hosted sulfide deposits of southern British Columbia. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/328002.
Texte intégralCoplin, David, Isaac Barash et Shulamit Manulis. Role of Proteins Secreted by the Hrp-Pathways of Erwinia stewartii and E. herbicola pv. gypsophilae in Eliciting Water-Soaking Symptoms and Initiating Galls. United States Department of Agriculture, juin 2001. http://dx.doi.org/10.32747/2001.7580675.bard.
Texte intégralLers, Amnon, et Pamela J. Green. LX Senescence-Induced Ribonuclease in Tomato : Function and Regulation. United States Department of Agriculture, septembre 2003. http://dx.doi.org/10.32747/2003.7586455.bard.
Texte intégralEshed, Yuval, et John Bowman. Harnessing Fine Scale Tuning of Endogenous Plant Regulatory Processes for Manipulation of Organ Growth. United States Department of Agriculture, 2005. http://dx.doi.org/10.32747/2005.7696519.bard.
Texte intégralMiller, Gad, et Jeffrey F. Harper. Pollen fertility and the role of ROS and Ca signaling in heat stress tolerance. United States Department of Agriculture, janvier 2013. http://dx.doi.org/10.32747/2013.7598150.bard.
Texte intégralManulis-Sasson, Shulamit, Christine D. Smart, Isaac Barash, Laura Chalupowicz, Guido Sessa et Thomas J. Burr. Clavibacter michiganensis subsp. michiganensis-tomato interactions : expression and function of virulence factors, plant defense responses and pathogen movement. United States Department of Agriculture, février 2015. http://dx.doi.org/10.32747/2015.7594405.bard.
Texte intégralYahav, Shlomo, John McMurtry et Isaac Plavnik. Thermotolerance Acquisition in Broiler Chickens by Temperature Conditioning Early in Life. United States Department of Agriculture, 1998. http://dx.doi.org/10.32747/1998.7580676.bard.
Texte intégralMcElwain, Terry F., Eugene Pipano, Guy H. Palmer, Varda Shkap, Stephn A. Hines et Wendy C. Brown. Protection of Cattle against Babesiosis : Immunization against Babesia bovis with an Optimized RAP-1/Apical Complex Construct. United States Department of Agriculture, septembre 1999. http://dx.doi.org/10.32747/1999.7573063.bard.
Texte intégral