Literatura académica sobre el tema "Higher inductive types"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas 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.
Artículos de revistas sobre el tema "Higher inductive types"
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 completoTesis sobre el tema "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.
Texto completoSattler, 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/.
Texto completoKUSAKARI, Keiichirou, Masahiko SAKAI y Toshiki SAKABE. "Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting". IEICE, 2005. http://hdl.handle.net/2237/9580.
Texto completoCHIBA, Yuki y 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.
Texto completoXia, 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.
Texto completoLi, Cheng-Chieh y 李政潔. "The Design of a High Frequency Induction Heating Circuit for Heating in Air Gap Type". Thesis, 2008. http://ndltd.ncl.edu.tw/handle/53856288745654255800.
Texto completo中原大學
電機工程研究所
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.
Libros sobre el tema "Higher inductive types"
Maznev, Aleksandr y Oleg Shatnev. Electric apparatus and circuits of rolling stock. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1014641.
Texto completoShulman, Michael. Homotopy Type Theory: A Synthetic Approach to Higher Equalities. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0003.
Texto completoSabbagh, Michel y John J. Freely Jr. Epiglottitis, Croup, and Stridor. Editado por Matthew D. McEvoy y Cory M. Furse. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780190226459.003.0078.
Texto completoLorino, Philippe. Inquiry. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198753216.003.0004.
Texto completoMills, Gary H. Pulmonary disease and anaesthesia. Editado por Philip M. Hopkins. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780199642045.003.0082.
Texto completoCapítulos de libros sobre el tema "Higher inductive types"
Vivekanandan, Paventhan. "Code Generation for Higher Inductive Types". En Functional and Constraint Logic Programming, 18–35. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-16202-3_2.
Texto completoLakin, Matthew R. y Andrew M. Pitts. "Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming". En Programming Languages and Systems, 47–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00590-9_4.
Texto completoSchürmann, Carsten. "A Type-Theoretic Approach to Induction with Higher-Order Encodings". En 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.
Texto completoda Luz, Viviane Kopp, Vívian Ebeling Viana, Gabriela Magalhães da Fonseca, Camila Pegoraro, Luciano Carlos da Maia y Antonio Costa de Oliveira. "Identification of rice mutants tolerant to cold stress at the germination stage by TILLING." En Mutation breeding, genetic diversity and crop adaptation to climate change, 111–19. Wallingford: CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0011.
Texto completoSchreiber, U. "Detection of rapid induction kinetics with a new type of high-frequency modulated chlorophyll fluorometer". En Current topics in photosynthesis, 259–70. Dordrecht: Springer Netherlands, 1986. http://dx.doi.org/10.1007/978-94-009-4412-1_24.
Texto completoBado, Souleymane, Fatemeh Maghuly, Vitor Varzea y Margit Laimer. "Mutagenesis of in vitro explants of Coffea spp. to induce fungal resistance." En Mutation breeding, genetic diversity and crop adaptation to climate change, 344–52. Wallingford: CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0036.
Texto completoBelabbas, Belkacem, Tayeb Allaoui, Mohamed Tadjine y 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". En 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.
Texto completoAbdalla, Elgailani, Tarig Ahmed, Omar Bakhit, Yasir Gamar, Salih Elshaikh, Yasir Mohammed y Abdellatif Sulaiman And Hatim Mardi. "Groundnut mutants with end-of-season drought tolerance for the marginal dry lands of North Kordofan State, Sudan." En Mutation breeding, genetic diversity and crop adaptation to climate change, 243–57. Wallingford: CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0025.
Texto completoLundqvist, Udda. "Scandinavian mutation research during the past 90 years - a historical review." En Mutation breeding, genetic diversity and crop adaptation to climate change, 10–23. Wallingford: CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0002.
Texto completoBennett, Elisabeth E. "Puzzling the Picture using Grounded Theory". En Cognitive Analytics, 1778–92. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-2460-2.ch092.
Texto completoActas de conferencias sobre el tema "Higher inductive types"
Coquand, Thierry, Simon Huber y Anders Mörtberg. "On Higher Inductive Types in Cubical Type Theory". En 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.
Texto completoAwodey, Steve, Jonas Frey y Sam Speight. "Impredicative Encodings of (Higher) Inductive Types". En 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.
Texto completovan der Weide, Niels. "Constructing Higher Inductive Types as Groupoid Quotients". En 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.
Texto completoSojakova, Kristina. "Higher Inductive Types as Homotopy-Initial Algebras". En 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.
Texto completoKraus, Nicolai. "Constructions with Non-Recursive Higher Inductive Types". En 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.
Texto completoKraus, Nicolai y Jakob von Raumer. "Path Spaces of Higher Inductive Types in Homotopy Type Theory". En 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2019. http://dx.doi.org/10.1109/lics.2019.8785661.
Texto completoBaunsgaard Kristensen, Magnus, Rasmus Ejlers Mogelberg y Andrea Vezzosi. "Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks". En 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.
Texto completoHu, Binbin, Zhengwei Wu, Jun Zhou, Ziqi Liu, Zhigang Huangfu, Zhiqiang Zhang y Chaochao Chen. "MERIT: Learning Multi-level Representations on Temporal Graphs". En 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.
Texto completoAltenkirch, Thorsten y Luis Scoccola. "The Integers as a Higher Inductive Type". En 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.
Texto completoAl-Sibahi, Ahmad Salim, Thomas P. Jensen, Aleksandar S. Dimovski y Andrzej Wąsowski. "Verification of high-level transformations with inductive refinement types". En 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.
Texto completoInformes sobre el tema "Higher inductive types"
Paradis, S., S. E. Jackson, D. Petts, G. J. Simandl, R. J. D'Souza y 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.
Texto completoCoplin, David, Isaac Barash y 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, junio de 2001. http://dx.doi.org/10.32747/2001.7580675.bard.
Texto completoLers, Amnon y Pamela J. Green. LX Senescence-Induced Ribonuclease in Tomato: Function and Regulation. United States Department of Agriculture, septiembre de 2003. http://dx.doi.org/10.32747/2003.7586455.bard.
Texto completoEshed, Yuval y 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.
Texto completoMiller, Gad y Jeffrey F. Harper. Pollen fertility and the role of ROS and Ca signaling in heat stress tolerance. United States Department of Agriculture, enero de 2013. http://dx.doi.org/10.32747/2013.7598150.bard.
Texto completoManulis-Sasson, Shulamit, Christine D. Smart, Isaac Barash, Laura Chalupowicz, Guido Sessa y 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, febrero de 2015. http://dx.doi.org/10.32747/2015.7594405.bard.
Texto completoYahav, Shlomo, John McMurtry y 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.
Texto completoMcElwain, Terry F., Eugene Pipano, Guy H. Palmer, Varda Shkap, Stephn A. Hines y 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, septiembre de 1999. http://dx.doi.org/10.32747/1999.7573063.bard.
Texto completo