Artículos de revistas sobre el tema "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 "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.
Kaposi, Ambrus, András Kovács y Thorsten Altenkirch. "Constructing quotient inductive-inductive types". Proceedings of the ACM on Programming Languages 3, POPL (2 de enero de 2019): 1–24. http://dx.doi.org/10.1145/3290315.
Texto completoBarthe, Gilles. "Order-Sorted Inductive Types". Information and Computation 149, n.º 1 (febrero de 1999): 42–76. http://dx.doi.org/10.1006/inco.1998.2751.
Texto completoDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI y MAURIZIO PROIETTI. "Solving Horn Clauses on Inductive Data Types Without Induction". Theory and Practice of Logic Programming 18, n.º 3-4 (julio de 2018): 452–69. http://dx.doi.org/10.1017/s1471068418000157.
Texto completoHoward, Brian T. "Inductive, coinductive, and pointed types". ACM SIGPLAN Notices 31, n.º 6 (15 de junio de 1996): 102–9. http://dx.doi.org/10.1145/232629.232640.
Texto completoLUMSDAINE, 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 completoLoader, Ralph. "Equational theories for inductive types". Annals of Pure and Applied Logic 84, n.º 2 (marzo de 1997): 175–217. http://dx.doi.org/10.1016/s0168-0072(96)00021-8.
Texto completoOGATA, K. y K. FUTATSUGI. "State Machines as Inductive Types". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E90-A, n.º 12 (1 de diciembre de 2007): 2985–88. http://dx.doi.org/10.1093/ietfec/e90-a.12.2985.
Texto completovan den Berg, Benno. "Inductive types and exact completion". Annals of Pure and Applied Logic 134, n.º 2-3 (julio de 2005): 95–121. http://dx.doi.org/10.1016/j.apal.2004.09.003.
Texto completoABEL, ANDREAS. "Implementing a normalizer using sized heterogeneous types". Journal of Functional Programming 19, n.º 3-4 (julio de 2009): 287–310. http://dx.doi.org/10.1017/s0956796809007266.
Texto completoMatthes, Ralph. "Monotone (co)inductive types and positive fixed-point types". RAIRO - Theoretical Informatics and Applications 33, n.º 4-5 (julio de 1999): 309–28. http://dx.doi.org/10.1051/ita:1999120.
Texto completoDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI y MAURIZIO PROIETTI. "Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM". Theory and Practice of Logic Programming 19, n.º 04 (27 de mayo de 2019): 629. http://dx.doi.org/10.1017/s147106841900005x.
Texto completoFu, Yuxi. "RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES". Fundamenta Informaticae 26, n.º 2 (1996): 115–31. http://dx.doi.org/10.3233/fi-1996-26202.
Texto completoFilinski, Andrzej y Kristian Støvring. "Inductive reasoning about effectful data types". ACM SIGPLAN Notices 42, n.º 9 (octubre de 2007): 97–110. http://dx.doi.org/10.1145/1291220.1291168.
Texto completoMoor, Oege de. "Inductive data types for predicate transformers". Information Processing Letters 43, n.º 3 (septiembre de 1992): 113–17. http://dx.doi.org/10.1016/0020-0190(92)90001-c.
Texto completoBarthe, Gilles y Tarmo Uustalu. "CPS translating inductive and coinductive types". ACM SIGPLAN Notices 37, n.º 3 (marzo de 2002): 131–42. http://dx.doi.org/10.1145/509799.503043.
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 completoChemouil, David y Sergei Soloviev. "Remarks on Isomorphisms of Simple Inductive Types". Electronic Notes in Theoretical Computer Science 85, n.º 7 (septiembre de 2003): 106–24. http://dx.doi.org/10.1016/s1571-0661(04)80760-6.
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 completoLUO, ZHAOHUI y ROBIN ADAMS. "Structural subtyping for inductive types with functorial equality rules". Mathematical Structures in Computer Science 18, n.º 5 (octubre de 2008): 931–72. http://dx.doi.org/10.1017/s0960129508006956.
Texto completoSlee, Bill. "An inductive classification of types of social innovation". Scottish Affairs 28, n.º 2 (mayo de 2019): 152–76. http://dx.doi.org/10.3366/scot.2019.0275.
Texto completoAl-Sibahi, Ahmad Salim, Thomas P. Jensen, Aleksandar S. Dimovski y Andrzej Wąsowski. "Verification of Program Transformations with Inductive Refinement Types". ACM Transactions on Software Engineering and Methodology 30, n.º 1 (21 de enero de 2021): 1–33. http://dx.doi.org/10.1145/3409805.
Texto completoBasold, Henning. "Dependent Inductive and Coinductive Types are Fibrational Dialgebras". Electronic Proceedings in Theoretical Computer Science 191 (9 de septiembre de 2015): 3–17. http://dx.doi.org/10.4204/eptcs.191.3.
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 completoCHEMOUIL, DAVID. "Isomorphisms of simple inductive types through extensional rewriting". Mathematical Structures in Computer Science 15, n.º 05 (4 de octubre de 2005): 875. http://dx.doi.org/10.1017/s0960129505004950.
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 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 completoMORRIS, PETER, THORSTEN ALTENKIRCH y NEIL GHANI. "A UNIVERSE OF STRICTLY POSITIVE FAMILIES". International Journal of Foundations of Computer Science 20, n.º 01 (febrero de 2009): 83–107. http://dx.doi.org/10.1142/s0129054109006462.
Texto completoLevinsohn, Stephen H. "Reasoning Styles and Types of Hortatory Discourse". Journal of Translation 2, n.º 2 (2006): 1–10. http://dx.doi.org/10.54395/jot-8pnhv.
Texto completoBotting, David. "Two Types of Argument from Position to Know". Informal Logic 38, n.º 4 (18 de diciembre de 2018): 502–30. http://dx.doi.org/10.22329/il.v38i4.5065.
Texto completoHOOGENDIJK, PAUL y OEGE DE MOOR. "Container types categorically". Journal of Functional Programming 10, n.º 2 (marzo de 2000): 191–225. http://dx.doi.org/10.1017/s0956796899003640.
Texto completoSamran, Santalunai, Thosdeekoraphat Thanaset y Thongsopa Chanchai. "Thermal Analysis of Inductive Coils Array against Cylindrical Material Steel for Induction Heating Applications". Applied Mechanics and Materials 330 (junio de 2013): 754–59. http://dx.doi.org/10.4028/www.scientific.net/amm.330.754.
Texto completoMiao, Decheng, Jianqing Xi, Yubin Guo y Deyou Tang. "Inductive Data Types Based on Fibrations Theory in Programming". Journal of Computing and Information Technology 24, n.º 1 (25 de marzo de 2016): 1–16. http://dx.doi.org/10.20532/cit.2016.1002716.
Texto completoAltenkirch, Thorsten y Ambrus Kaposi. "Type theory in type theory using quotient inductive types". ACM SIGPLAN Notices 51, n.º 1 (8 de abril de 2016): 18–29. http://dx.doi.org/10.1145/2914770.2837638.
Texto completoAl-Sibahi, Ahmad Salim, Thomas P. Jensen, Aleksandar S. Dimovski y Andrzej Wąsowski. "Verification of high-level transformations with inductive refinement types". ACM SIGPLAN Notices 53, n.º 9 (7 de abril de 2020): 147–60. http://dx.doi.org/10.1145/3393934.3278125.
Texto completoDanner, Norman, Daniel R. Licata y Ramyaa Ramyaa. "Denotational cost semantics for functional languages with inductive types". ACM SIGPLAN Notices 50, n.º 9 (18 de diciembre de 2015): 140–51. http://dx.doi.org/10.1145/2858949.2784749.
Texto completoOre, Christian-Emil. "The Extended Calculus of Constructions (ECC) with inductive types". Information and Computation 99, n.º 2 (agosto de 1992): 231–64. http://dx.doi.org/10.1016/0890-5401(92)90031-a.
Texto completoDevesas Campos, Marco y Marcelo Fiore. "Classical logic with Mendler induction". Journal of Logic and Computation 30, n.º 1 (enero de 2020): 77–106. http://dx.doi.org/10.1093/logcom/exaa004.
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 completoVAN DEN BERG, BENNO y IEKE MOERDIJK. "W-types in homotopy-type theory – CORRIGENDUM". Mathematical Structures in Computer Science 28, n.º 1 (5 de abril de 2016): 140. http://dx.doi.org/10.1017/s0960129516000025.
Texto completoWanko, Jeffrey J. "Teaching Inductive Reasoning with Puzzles". Mathematics Teacher 110, n.º 7 (marzo de 2017): 514–19. http://dx.doi.org/10.5951/mathteacher.110.7.0514.
Texto completoSeehase, Dirk, Christian Kohlen, Arne Neiser, Andrej Novikov y Mathias Nowottnick. "Selective Soldering on Printed Circuit Boards with Endogenous Induction Heat at Appropriate Susceptors". Periodica Polytechnica Electrical Engineering and Computer Science 62, n.º 4 (30 de noviembre de 2018): 172–80. http://dx.doi.org/10.3311/ppee.13277.
Texto completoRipka, Pavel, Josef Blažek, Mehran Mirzaei, Pavol Lipovský, Miroslav Šmelko y Katarína Draganová. "Inductive Position and Speed Sensors". Sensors 20, n.º 1 (21 de diciembre de 2019): 65. http://dx.doi.org/10.3390/s20010065.
Texto completoDe Angelis, Emanuele, Fabio Fioravanti, Alberto Pettorossi y Maurizio Proietti. "Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach". Journal of Logic and Computation 32, n.º 2 (4 de febrero de 2022): 402–42. http://dx.doi.org/10.1093/logcom/exab090.
Texto completoK, Hari Govind V., Sharon Shoham y Arie Gurfinkel. "Solving constrained Horn clauses modulo algebraic data types and recursive functions". Proceedings of the ACM on Programming Languages 6, POPL (16 de enero de 2022): 1–29. http://dx.doi.org/10.1145/3498722.
Texto completoOkada, Mitsuhiro. "Wittgenstein's Uniqueness Rule as an Elimination Rule of Inductive Types:". Kagaku tetsugaku 53, n.º 2 (31 de marzo de 2021): 95–114. http://dx.doi.org/10.4216/jpssj.53.2_95.
Texto completoCao, Qinxiang y Xiwei Wu. "Countability of Inductive Types Formalized in the Object-Logic Level". Electronic Proceedings in Theoretical Computer Science 337 (16 de julio de 2021): 55–70. http://dx.doi.org/10.4204/eptcs.337.5.
Texto completoNaumann, David A. "A recursion theorem for predicate transformers on inductive data types". Information Processing Letters 50, n.º 6 (junio de 1994): 329–36. http://dx.doi.org/10.1016/0020-0190(94)00049-2.
Texto completoERWIG, MARTIN. "Inductive graphs and functional graph algorithms". Journal of Functional Programming 11, n.º 5 (29 de agosto de 2001): 467–92. http://dx.doi.org/10.1017/s0956796801004075.
Texto completo