Literatura académica sobre el tema "Metatheory"
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 "Metatheory".
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 "Metatheory"
Fuhrman, Ellsworth R. y Carol A. Bailey. "Metatheory, Metatheory". Sociological Perspectives 35, n.º 3 (septiembre de 1992): 525–30. http://dx.doi.org/10.2307/1389333.
Texto completoPapadimitriou, Christos H. "Database metatheory". ACM SIGACT News 26, n.º 3 (septiembre de 1995): 13–30. http://dx.doi.org/10.1145/211542.211547.
Texto completoAllan, Keith. "Linguistic metatheory". Language Sciences 25, n.º 6 (noviembre de 2003): 533–60. http://dx.doi.org/10.1016/s0388-0001(03)00032-9.
Texto completoReus-Smit, Christian. "Beyond metatheory?" European Journal of International Relations 19, n.º 3 (septiembre de 2013): 589–608. http://dx.doi.org/10.1177/1354066113495479.
Texto completoMcGregor, Sue L. T. "Integral Metatheory: Beyond Specializations, Theoretical Pluralism, and Conventional Metatheory". Family & Consumer Sciences Research Journal 38, n.º 2 (diciembre de 2009): 142–57. http://dx.doi.org/10.1111/j.1552-3934.2009.00014.x.
Texto completoPriest, Graham. "Metatheory and dialetheism". Logical Investigations 26, n.º 1 (6 de agosto de 2020): 48–59. http://dx.doi.org/10.21146/2074-1472-2020-26-1-48-59.
Texto completoAydemir, Brian, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack y Stephanie Weirich. "Engineering formal metatheory". ACM SIGPLAN Notices 43, n.º 1 (14 de enero de 2008): 3–15. http://dx.doi.org/10.1145/1328897.1328443.
Texto completoMiller, Dale. "Mechanized Metatheory Revisited". Journal of Automated Reasoning 63, n.º 3 (4 de octubre de 2018): 625–65. http://dx.doi.org/10.1007/s10817-018-9483-3.
Texto completoRozeboom, Wm W. "Meehl on metatheory". Journal of Clinical Psychology 61, n.º 10 (2005): 1317–54. http://dx.doi.org/10.1002/jclp.20184.
Texto completoKoltko-Rivera, Mark E. y Peter A. Hancock. "Why and How HFE Professionals can Better use Theory (Metatheory Included; Some Assembly Required)". Proceedings of the Human Factors and Ergonomics Society Annual Meeting 49, n.º 10 (septiembre de 2005): 881–85. http://dx.doi.org/10.1177/154193120504901002.
Texto completoTesis sobre el tema "Metatheory"
Stanley, Jason. "Meaning and metatheory". Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/11347.
Texto completoEdwards, Mark Gerard. "An integral metatheory for organisational transformation". University of Western Australia. Faculty of Business, 2008. http://theses.library.uwa.edu.au/adt-WU2008.0145.
Texto completoToro, Ipinza Matías. "Abstracting gradual typing: Metatheory and applications". Tesis, Universidad de Chile, 2019. http://repositorio.uchile.cl/handle/2250/170935.
Texto completoHan habido muchos enfoques para integrar tipado estático y dinámico. Uno de los enfoques más notables es el del tipado gradual. El enfoque clásico para diseñar lenguajes graduales es usualmente ad-hoc, pero existen metodologías que sistematizan este proceso. Una de ellas es la Abstracting Gradual Typing (AGT), que ayuda a construir sistemáticamente lenguajes graduales a partir de lenguajes estáticamente tipados usando interpretación abstracta al nivel de tipos. A pesar que se a mostrado que AGT a sido efectiva en diferentes contextos, hay aún muchas preguntas abiertas: ¿AGT escala a mecanismos de lenguaje y disciplinas de tipos complejos? ¿Que lenguajes obtienen al usar abstracciones más ricas, o al introducir imprecisión de una manera poco convencional? ¿Cómo se compara el lenguaje gradual resultante con lo existente en la literatura? ¿Que propiedades AGT garantiza de preservar por construcción? ¿Podemos aplicar AGT a un lenguaje gradual derivado con AGT? En esta tesis se trata de responder a estas preguntas, aplicando AGT a disciplinas de tipos y mecanismos de lenguaje complejos. Primero, se aplica AGT a un cálculo lambda con tipado simple y referencias mutables, donde se muestra que una directa aplicación de AGT no garantiza una semántica eficiente respecto al espacio. Se prueba equivalencia contextual con uno de los lenguajes graduales con referencias encontrados en la literatura. Segundo, se aplica AGT a un lenguaje con tipado de seguridad y referencias, introduciendo imprecisión solo en las etiquetas de seguridad de los tipos. Se aprende que una aplicación directa de AGT sólo garantiza preservar por construcción la seguridad de tipos y los criterios refinados de lenguajes graduales. En orden de satisfacer no-interferencia, la propiedad semántica crucial del lenguaje estático, se deben refinar las abstracciones usadas en la semántica dinámica. Pero debido a las referencias mutables, se agrega un chequeo extra en la regla de reducción de asignaciones para prevenir flujos implícitos de información a través de la memoria. Este chequeo extra rompe la garantía gradual dinámica, la cual es parte de los criterios refinados de los lenguajes graduales. Tercero, se aplica AGT para introducir una nueva forma de imprecisión en los tipos, llamada unión gradual, un diseño original de tipos de unión que combina ambos beneficios de uniones etiquetadas y no etiquetadas. Se descubre que las uniones graduales interactúan con el tipo desconocido en una forma que exige un enfoque estratificado para AGT, dependiendo de la composición de dos interpretaciones de abstracción distintas en orden de recuperar optimalidad. Cuarto, se aplica AGT a System F, un lenguaje que soporta polimorfismo paramétrico. Se descubre que una aplicación directa de AGT rompe parametricidad, una propiedad semántica crucial de System F. En orden de recuperar parametricidad, se refinan las abstracciones (y se personalizan ciertas operaciones) usadas en la semántica dinámica. Esta personalización ayuda a preservar parametricidad pero a costa de la violar la garantía gradual dinámica. Esta garantía fue dejada como una conjetura en todos los trabajos previos; aquí se prueba que es simplemente incompatible con la noción clásica de parametricidad. Sin embargo, se establece una propiedad más débil que permite refutar varias afirmaciones acerca de teoremas graduales gratis, clarificando el tipo de razonamiento soportado por la parametricidad gradual.
CONICYT-PCHA/Doctorado Nacional/2015-21150510
Wurm, Christian [Verfasser]. "On the metatheory of linguistics / Christian Wurm". Bielefeld : Universitätsbibliothek Bielefeld, 2013. http://d-nb.info/1073642372/34.
Texto completoFreire, Lucas Grassi. "On the role of metatheory in the academic discipline of international relations". Thesis, University of Exeter, 2012. http://hdl.handle.net/10871/8321.
Texto completoRicciotti, Wilmer <1982>. "Theoretical and implementation aspects in the mechanization of the metatheory of programming languages". Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amsdottorato.unibo.it/3754/1/thesis.pdf.
Texto completoRicciotti, Wilmer <1982>. "Theoretical and implementation aspects in the mechanization of the metatheory of programming languages". Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amsdottorato.unibo.it/3754/.
Texto completoDoczkal, Christian [Verfasser] y Gert [Akademischer Betreuer] Smolka. "A machine-checked constructive metatheory of computation tree logic / Christian Doczkal. Betreuer: Gert Smolka". Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2016. http://d-nb.info/1097263258/34.
Texto completoBrennan, Jason. "The Best Moral Theory Ever: The Merits and Methodology of Moral Theorizing". Diss., The University of Arizona, 2007. http://hdl.handle.net/10150/195168.
Texto completoHawkins, Ronald E. "The assessment of behavior patterns, personality characteristics and theoretical orientations for Master's level counseling students". Diss., Virginia Polytechnic Institute and State University, 1988. http://hdl.handle.net/10919/53524.
Texto completoEd. D.
Libros sobre el tema "Metatheory"
Siddiqi, Daniel y Heidi Harley, eds. Morphological Metatheory. Amsterdam: John Benjamins Publishing Company, 2016. http://dx.doi.org/10.1075/la.229.
Texto completoUtō, Shōkichi. Constructics: A methodology of theory construction. Lanham, Md: University Press of America, 2005.
Buscar texto completoChernoff, Fred. Theory and Metatheory in International Relations. New York: Palgrave Macmillan US, 2007. http://dx.doi.org/10.1057/9780230606883.
Texto completoDholakia, Nikhilesh y Romeo V. Turcan. Toward a Metatheory of Economic Bubbles. New York: Palgrave Macmillan US, 2014. http://dx.doi.org/10.1057/9781137361790.
Texto completoSpendel, Zbigniew. Podmiotowość człowieka a psychologia historyczna. Katowice: Wydawn. Uniwersytetu Śląskiego, 1994.
Buscar texto completoGálvez, Jesús Padilla. Tratado metateórico de las teorías científicas. Cuenca: Ediciones de la Universidad de Castilla-La Mancha, 2000.
Buscar texto completoSchröter, Joachim. Zur Meta-Theorie der Physik. Berlin: Walter de Gruyter, 1996.
Buscar texto completoM, King Imogene y Fawcett Jacqueline, eds. The language of nursing theory and metatheory. Indianapolis, Ind: Sigma Theta Tau International, Center Nursing Press, 1997.
Buscar texto completoEdwards, Mark G. Organizational transformation for sustainability: An integral metatheory. New York, NY: Routledge, 2009.
Buscar texto completoEdwards, Mark G. Organisational transformation for sustainability: An integral metatheory. New York: Routledge, 2010.
Buscar texto completoCapítulos de libros sobre el tema "Metatheory"
Edwards, Mark G. "Metatheory". En Encyclopedia of Quality of Life and Well-Being Research, 4015–17. Dordrecht: Springer Netherlands, 2014. http://dx.doi.org/10.1007/978-94-007-0753-5_3374.
Texto completoDibben, Mark R. "Metatheory". En Exploring Interpersonal Trust in the Entrepreneurial Venture, 22–43. London: Palgrave Macmillan UK, 2000. http://dx.doi.org/10.1057/9780230509528_2.
Texto completoNunez, Iskra. "Metatheory". En Big Picture Perspectives on Planetary Flourishing, 151–68. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003140313-10.
Texto completoEdwards, Mark G. "Metatheory". En Encyclopedia of Quality of Life and Well-Being Research, 4334–36. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-17299-1_3374.
Texto completoMadsen, K. B. "Psychological Metatheory". En Annals of Theoretical Psychology, 1–16. Boston, MA: Springer US, 1985. http://dx.doi.org/10.1007/978-1-4613-2487-4_1.
Texto completoGrotstein, James S. "Bion's metatheory". En A Beam of Intense Darkness, 65–81. London: Routledge, 2023. http://dx.doi.org/10.4324/9781003348665-7.
Texto completoGunn, Richard. "Marxism, Metatheory and Critique". En Post-Fordism and Social Form, 193–209. London: Palgrave Macmillan UK, 1991. http://dx.doi.org/10.1007/978-1-349-22407-4_11.
Texto completoStich, Stephen P. "Theory, Metatheory, and Weltanschauung". En Annals of Theoretical Psychology, 87–94. Boston, MA: Springer US, 1985. http://dx.doi.org/10.1007/978-1-4613-2487-4_4.
Texto completoHenriques, Gregg. "A Metatheory of Mind1". En A New Synthesis for Solving the Problem of Psychology, 321–55. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-18493-2_12.
Texto completoScriven, Michael. "Evaluation Theory and Metatheory". En International Handbook of Educational Evaluation, 15–30. Dordrecht: Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-010-0309-4_3.
Texto completoActas de conferencias sobre el tema "Metatheory"
Papadimitriou, Christos H. "Database metatheory". En the fourteenth ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/212433.212436.
Texto completoAydemir, Brian, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack y Stephanie Weirich. "Engineering formal metatheory". En the 35th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1328438.1328443.
Texto completoCheney, James y Alberto Momigliano. "Mechanized metatheory model-checking". En the 9th ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1273920.1273931.
Texto completoUrban, Christian, James Cheney y Stefan Berghofer. "Mechanizing the Metatheory of LF". En 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008). IEEE, 2008. http://dx.doi.org/10.1109/lics.2008.29.
Texto completoLokosov, Vyacheslav Veniaminovich. "Sociology in contemporary Russia: five keynote aspects". En 6th International Conference “Futurity designing. Digital reality problems”. Keldysh Institute of Applied Mathematics, 2023. http://dx.doi.org/10.20948/future-2023-7.
Texto completoJohann, Patricia, Alex Simpson y Janis Voigtländer. "A Generic Operational Metatheory for Algebraic Effects". En 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010). IEEE, 2010. http://dx.doi.org/10.1109/lics.2010.29.
Texto completoLee, Daniel K., Karl Crary y Robert Harper. "Towards a mechanized metatheory of standard ML". En the 34th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1190216.1190245.
Texto completoSIFAKIS, N. "BRIDGING THE PHONOLOGY - PHONETICS GAP - A METATHEORY". En Acoustics '91. Institute of Acoustics, 2024. http://dx.doi.org/10.25144/21039.
Texto completoZheng, Gangyang, Yu Gong, Zhijian Zhang y Zibin Liu. "To Analyze the Core Damage Scenario via the RISMC-Based Metatheory and Reliability Theory". En 2014 22nd International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/icone22-30564.
Texto completoLee, Gyesik. "Two Recent Approaches to Mechanical Developments of Formal Metatheory". En Mechanical Engineering 2013. Science & Engineering Research Support soCiety, 2013. http://dx.doi.org/10.14257/astl.2013.41.10.
Texto completoInformes sobre el tema "Metatheory"
Weirich, Stephanie y Steve Zdancewic. Machine-Checked Metatheory for Security-Oriented Languages. Fort Belvoir, VA: Defense Technical Information Center, agosto de 2006. http://dx.doi.org/10.21236/ada536269.
Texto completo