Artículos de revistas sobre el tema "Martin-Löf Type Theory"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 44 mejores artículos de revistas para su investigación sobre el tema "Martin-Löf Type Theory".
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.
Gambino, Nicola y Peter Aczel. "The generalised type-theoretic interpretation of constructive set theory". Journal of Symbolic Logic 71, n.º 1 (junio de 2006): 67–103. http://dx.doi.org/10.2178/jsl/1140641163.
Texto completoKLEV, ANSTEN. "ETA-RULES IN MARTIN-LÖF TYPE THEORY". Bulletin of Symbolic Logic 25, n.º 03 (22 de julio de 2019): 333–59. http://dx.doi.org/10.1017/bsl.2019.21.
Texto completoLamarche, François. "Modeling Martin-Löf type theory in categories". Journal of Applied Logic 12, n.º 1 (marzo de 2014): 28–44. http://dx.doi.org/10.1016/j.jal.2013.08.003.
Texto completoAWODEY, STEVE y MICHAEL A. WARREN. "Homotopy theoretic models of identity types". Mathematical Proceedings of the Cambridge Philosophical Society 146, n.º 1 (enero de 2009): 45–55. http://dx.doi.org/10.1017/s0305004108001783.
Texto completoGARNER, RICHARD. "Two-dimensional models of type theory". Mathematical Structures in Computer Science 19, n.º 4 (agosto de 2009): 687–736. http://dx.doi.org/10.1017/s0960129509007646.
Texto completoObtułowicz, Adam. "Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions". Mathematical Structures in Computer Science 3, n.º 1 (marzo de 1993): 63–92. http://dx.doi.org/10.1017/s0960129500000128.
Texto completoPalmgren, Erik. "A construction of type: type in Martin-Löf's partial type theory with one universe". Journal of Symbolic Logic 56, n.º 3 (septiembre de 1991): 1012–15. http://dx.doi.org/10.2307/2275068.
Texto completoSetzer, Anton. "Well-ordering proofs for Martin-Löf type theory". Annals of Pure and Applied Logic 92, n.º 2 (mayo de 1998): 113–59. http://dx.doi.org/10.1016/s0168-0072(97)00078-x.
Texto completoSetzer, Anton. "Extending Martin-Löf Type Theory by one Mahlo-universe". Archive for Mathematical Logic 39, n.º 3 (1 de abril de 2000): 155–81. http://dx.doi.org/10.1007/s001530050140.
Texto completoObtułowicz, Adam. "Categorical and algebraic aspects of Martin-Löf Type Theory". Studia Logica 48, n.º 3 (septiembre de 1989): 299–317. http://dx.doi.org/10.1007/bf00370827.
Texto completoRathjen, Michael y Sergei Tupailo. "Characterizing the interpretation of set theory in Martin-Löf type theory". Annals of Pure and Applied Logic 141, n.º 3 (septiembre de 2006): 442–71. http://dx.doi.org/10.1016/j.apal.2005.12.008.
Texto completoDomanov, Oleg. "FUZZY TYPE THEORY IN THE ANALYSIS OF ARGUMENTATION". Respublica literaria, RL. 2021. vol.2. no. 1 (29 de marzo de 2021): 37–47. http://dx.doi.org/10.47850/rl.2021.2.1.37-47.
Texto completoRodin, Andrei V. "Martin-Löf Type Theory as a Multi-Agent Epistemic Formal System". Epistemology & Philosophy of Science 55, n.º 4 (2018): 44–47. http://dx.doi.org/10.5840/eps201855464.
Texto completoAbel, Andreas, Klaus Aehlig y Peter Dybjer. "Normalization by Evaluation for Martin-Löf Type Theory with One Universe". Electronic Notes in Theoretical Computer Science 173 (abril de 2007): 17–39. http://dx.doi.org/10.1016/j.entcs.2007.02.025.
Texto completoBunder, M. W. "Possible forms of evaluation or reduction in Martin-Löf type theory". Theoretical Computer Science 41 (1985): 113–20. http://dx.doi.org/10.1016/0304-3975(85)90065-9.
Texto completoGYLTERUD, HÅKON ROBBESTAD. "FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY". Journal of Symbolic Logic 83, n.º 3 (septiembre de 2018): 1132–46. http://dx.doi.org/10.1017/jsl.2017.84.
Texto completoBARRAS, BRUNO, THIERRY COQUAND y SIMON HUBER. "A generalization of the Takeuti–Gandy interpretation". Mathematical Structures in Computer Science 25, n.º 5 (20 de febrero de 2015): 1071–99. http://dx.doi.org/10.1017/s0960129514000504.
Texto completoPalmgren, Erik. "A note on Mathematics of infinity". Journal of Symbolic Logic 58, n.º 4 (diciembre de 1993): 1195–200. http://dx.doi.org/10.2307/2275138.
Texto completoRathjen, Michael. "The strength of Martin-Löf type theory with a superuniverse. Part II". Archive for Mathematical Logic 40, n.º 3 (1 de abril de 2001): 207–33. http://dx.doi.org/10.1007/s001530000051.
Texto completoRathjen, Michael. "The strength of Martin-Löf type theory with a superuniverse. Part I". Archive for Mathematical Logic 39, n.º 1 (1 de enero de 2000): 1–39. http://dx.doi.org/10.1007/s001530050001.
Texto completoRathjen, Michael. "The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory". Synthese 147, n.º 1 (octubre de 2005): 81–120. http://dx.doi.org/10.1007/s11229-004-6208-4.
Texto completoGYLTERUD, HÅKON ROBBESTAD. "Multisets in type theory". Mathematical Proceedings of the Cambridge Philosophical Society 169, n.º 1 (27 de marzo de 2019): 1–18. http://dx.doi.org/10.1017/s0305004119000045.
Texto completoCARL, MERLIN y PHILIPP SCHLICHT. "RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY". Journal of Symbolic Logic 83, n.º 2 (junio de 2018): 766–89. http://dx.doi.org/10.1017/jsl.2018.3.
Texto completoPalmgren, E. "An Information System Interpretation of Martin-Löf′s Partial Type Theory with Universes". Information and Computation 106, n.º 1 (septiembre de 1993): 26–60. http://dx.doi.org/10.1006/inco.1993.1048.
Texto completoGarner, Richard. "On the strength of dependent products in the type theory of Martin-Löf". Annals of Pure and Applied Logic 160, n.º 1 (julio de 2009): 1–12. http://dx.doi.org/10.1016/j.apal.2008.12.003.
Texto completoPALMGREN, ERIK. "A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY". Bulletin of Symbolic Logic 24, n.º 1 (marzo de 2018): 90–106. http://dx.doi.org/10.1017/bsl.2018.4.
Texto completoSmith, Jan M. "The independence of Peano's fourth axiom from Martin-Löf's type theory without universes". Journal of Symbolic Logic 53, n.º 3 (septiembre de 1988): 840–45. http://dx.doi.org/10.2307/2274575.
Texto completoPISTONE, PAOLO. "POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE". Bulletin of Symbolic Logic 24, n.º 1 (marzo de 2018): 1–52. http://dx.doi.org/10.1017/bsl.2017.43.
Texto completoNormann, Dag, Erik Palmgren y Viggo Stoltenberg-Hansen. "Hyperfinite type structures". Journal of Symbolic Logic 64, n.º 3 (septiembre de 1999): 1216–42. http://dx.doi.org/10.2307/2586626.
Texto completoCHAPMAN, JAMES, TARMO UUSTALU y NICCOLÒ VELTRI. "Quotienting the delay monad by weak bisimilarity". Mathematical Structures in Computer Science 29, n.º 1 (17 de octubre de 2017): 67–92. http://dx.doi.org/10.1017/s0960129517000184.
Texto completoBuchholz, Wilfried. "Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals of pure and applied logic, vol. 92 (1998), pp. 113–159." Bulletin of Symbolic Logic 6, n.º 4 (diciembre de 2000): 478–79. http://dx.doi.org/10.2307/420979.
Texto completoHoward, W. A. "Per Martin-Löf. Intuitionistic type theory. (Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.) Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp." Journal of Symbolic Logic 51, n.º 4 (diciembre de 1986): 1075–76. http://dx.doi.org/10.2307/2273925.
Texto completoMöllerfeld, Michael. "Michael Rathjen. The superjump in Martin-Löf type theory. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386." Bulletin of Symbolic Logic 8, n.º 4 (diciembre de 2002): 538. http://dx.doi.org/10.2178/bsl/1182353932.
Texto completoKlev, Ansten. "Identity in Martin‐Löf type theory". Philosophy Compass 17, n.º 2 (28 de diciembre de 2021). http://dx.doi.org/10.1111/phc3.12805.
Texto completoCLAIRAMBAULT, PIERRE y PETER DYBJER. "The biequivalence of locally cartesian closed categories and Martin-Löf type theories". Mathematical Structures in Computer Science 24, n.º 6 (29 de abril de 2014). http://dx.doi.org/10.1017/s0960129513000881.
Texto completoSetzer, Anton. "Proof Theory of Martin-Löf Type Theory. An overview". Mathématiques et sciences humaines, n.º 165 (1 de marzo de 2004). http://dx.doi.org/10.4000/msh.2959.
Texto completoWallet, Guy. "Choice sequence and nonstandard extension of type theory". Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 20 - 2015 - Special... (17 de septiembre de 2015). http://dx.doi.org/10.46298/arima.1995.
Texto completoGAMBINO, NICOLA y MARCO FEDERICO LARREA. "MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS". Journal of Symbolic Logic, 8 de junio de 2021, 1–45. http://dx.doi.org/10.1017/jsl.2021.39.
Texto completoABEL, ANDREAS, JESPER COCKX, DOMINIQUE DEVRIESE, AMIN TIMANY y PHILIP WADLER. "Leibniz equality is isomorphic to Martin-Löf identity, parametrically". Journal of Functional Programming 30 (2020). http://dx.doi.org/10.1017/s0956796820000155.
Texto completoANGIULI, CARLO, EDWARD MOREHOUSE, DANIEL R. LICATA y ROBERT HARPER. "Homotopical patch theory". Journal of Functional Programming 26 (2016). http://dx.doi.org/10.1017/s0956796816000198.
Texto completoEmmenegger, Jacopo, Fabio Pasquali y Giuseppe Rosolini. "Elementary fibrations of enriched groupoids". Mathematical Structures in Computer Science, 19 de noviembre de 2021, 1–21. http://dx.doi.org/10.1017/s096012952100030x.
Texto completoPetrakis, Iosif. "Proof-relevance in Bishop-style constructive mathematics". Mathematical Structures in Computer Science, 31 de mayo de 2022, 1–43. http://dx.doi.org/10.1017/s0960129522000159.
Texto completoUUSTALU, TARMO y NICCOLÒ VELTRI. "Finiteness and rational sequences, constructively". Journal of Functional Programming 27 (2017). http://dx.doi.org/10.1017/s0956796817000041.
Texto completoBezem, Marc, Thierry Coquand, Peter Dybjer y Martín Escardó. "On generalized algebraic theories and categories with families". Mathematical Structures in Computer Science, 18 de octubre de 2021, 1–18. http://dx.doi.org/10.1017/s0960129521000268.
Texto completo