Academic literature on the topic 'Higher inductive types'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Higher inductive types.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Higher inductive types"
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.
Full textSojakova, 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.
Full textCavallo, 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.
Full textDybjer, 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.
Full textvan 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.
Full textTan, 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.
Full textVezzosi, 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.
Full textSwan, 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.
Full textABEL, 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.
Full textBERGER, 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.
Full textDissertations / Theses on the topic "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.
Full textSattler, 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/.
Full textKUSAKARI, Keiichirou, Masahiko SAKAI, and Toshiki SAKABE. "Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting." IEICE, 2005. http://hdl.handle.net/2237/9580.
Full textCHIBA, Yuki, and 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.
Full textXia, 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.
Full textLi, Cheng-Chieh, and 李政潔. "The Design of a High Frequency Induction Heating Circuit for Heating in Air Gap Type." Thesis, 2008. http://ndltd.ncl.edu.tw/handle/53856288745654255800.
Full text中原大學
電機工程研究所
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.
Books on the topic "Higher inductive types"
Maznev, Aleksandr, and Oleg Shatnev. Electric apparatus and circuits of rolling stock. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1014641.
Full textShulman, Michael. Homotopy Type Theory: A Synthetic Approach to Higher Equalities. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0003.
Full textSabbagh, Michel, and John J. Freely Jr. Epiglottitis, Croup, and Stridor. Edited by Matthew D. McEvoy and Cory M. Furse. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780190226459.003.0078.
Full textLorino, Philippe. Inquiry. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198753216.003.0004.
Full textMills, Gary H. Pulmonary disease and anaesthesia. Edited by Philip M. Hopkins. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780199642045.003.0082.
Full textBook chapters on the topic "Higher inductive types"
Vivekanandan, Paventhan. "Code Generation for Higher Inductive Types." In Functional and Constraint Logic Programming, 18–35. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-16202-3_2.
Full textLakin, Matthew R., and Andrew M. Pitts. "Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming." In Programming Languages and Systems, 47–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00590-9_4.
Full textSchürmann, Carsten. "A Type-Theoretic Approach to Induction with Higher-Order Encodings." In 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.
Full textda Luz, Viviane Kopp, Vívian Ebeling Viana, Gabriela Magalhães da Fonseca, Camila Pegoraro, Luciano Carlos da Maia, and Antonio Costa de Oliveira. "Identification of rice mutants tolerant to cold stress at the germination stage by TILLING." In Mutation breeding, genetic diversity and crop adaptation to climate change, 111–19. Wallingford: CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0011.
Full textSchreiber, U. "Detection of rapid induction kinetics with a new type of high-frequency modulated chlorophyll fluorometer." In Current topics in photosynthesis, 259–70. Dordrecht: Springer Netherlands, 1986. http://dx.doi.org/10.1007/978-94-009-4412-1_24.
Full textBado, Souleymane, Fatemeh Maghuly, Vitor Varzea, and Margit Laimer. "Mutagenesis of in vitro explants of Coffea spp. to induce fungal resistance." In Mutation breeding, genetic diversity and crop adaptation to climate change, 344–52. Wallingford: CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0036.
Full textBelabbas, Belkacem, Tayeb Allaoui, Mohamed Tadjine, and 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." In 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.
Full textAbdalla, Elgailani, Tarig Ahmed, Omar Bakhit, Yasir Gamar, Salih Elshaikh, Yasir Mohammed, and Abdellatif Sulaiman And Hatim Mardi. "Groundnut mutants with end-of-season drought tolerance for the marginal dry lands of North Kordofan State, Sudan." In Mutation breeding, genetic diversity and crop adaptation to climate change, 243–57. Wallingford: CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0025.
Full textLundqvist, Udda. "Scandinavian mutation research during the past 90 years - a historical review." In Mutation breeding, genetic diversity and crop adaptation to climate change, 10–23. Wallingford: CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0002.
Full textBennett, Elisabeth E. "Puzzling the Picture using Grounded Theory." In Cognitive Analytics, 1778–92. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-2460-2.ch092.
Full textConference papers on the topic "Higher inductive types"
Coquand, Thierry, Simon Huber, and Anders Mörtberg. "On Higher Inductive Types in Cubical Type Theory." In 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.
Full textAwodey, Steve, Jonas Frey, and Sam Speight. "Impredicative Encodings of (Higher) Inductive Types." In 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.
Full textvan der Weide, Niels. "Constructing Higher Inductive Types as Groupoid Quotients." In 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.
Full textSojakova, Kristina. "Higher Inductive Types as Homotopy-Initial Algebras." In 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.
Full textKraus, Nicolai. "Constructions with Non-Recursive Higher Inductive Types." In 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.
Full textKraus, Nicolai, and Jakob von Raumer. "Path Spaces of Higher Inductive Types in Homotopy Type Theory." In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2019. http://dx.doi.org/10.1109/lics.2019.8785661.
Full textBaunsgaard Kristensen, Magnus, Rasmus Ejlers Mogelberg, and Andrea Vezzosi. "Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks." In 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.
Full textHu, Binbin, Zhengwei Wu, Jun Zhou, Ziqi Liu, Zhigang Huangfu, Zhiqiang Zhang, and Chaochao Chen. "MERIT: Learning Multi-level Representations on Temporal Graphs." In 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.
Full textAltenkirch, Thorsten, and Luis Scoccola. "The Integers as a Higher Inductive Type." In 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.
Full textAl-Sibahi, Ahmad Salim, Thomas P. Jensen, Aleksandar S. Dimovski, and Andrzej Wąsowski. "Verification of high-level transformations with inductive refinement types." In 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.
Full textReports on the topic "Higher inductive types"
Paradis, S., S. E. Jackson, D. Petts, G. J. Simandl, R. J. D'Souza, and 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.
Full textCoplin, David, Isaac Barash, and 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, June 2001. http://dx.doi.org/10.32747/2001.7580675.bard.
Full textLers, Amnon, and Pamela J. Green. LX Senescence-Induced Ribonuclease in Tomato: Function and Regulation. United States Department of Agriculture, September 2003. http://dx.doi.org/10.32747/2003.7586455.bard.
Full textEshed, Yuval, and 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.
Full textMiller, Gad, and Jeffrey F. Harper. Pollen fertility and the role of ROS and Ca signaling in heat stress tolerance. United States Department of Agriculture, January 2013. http://dx.doi.org/10.32747/2013.7598150.bard.
Full textManulis-Sasson, Shulamit, Christine D. Smart, Isaac Barash, Laura Chalupowicz, Guido Sessa, and 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, February 2015. http://dx.doi.org/10.32747/2015.7594405.bard.
Full textYahav, Shlomo, John McMurtry, and 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.
Full textMcElwain, Terry F., Eugene Pipano, Guy H. Palmer, Varda Shkap, Stephn A. Hines, and 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, September 1999. http://dx.doi.org/10.32747/1999.7573063.bard.
Full text