Academic literature on the topic 'Metatheory'
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 'Metatheory.'
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 "Metatheory"
Fuhrman, Ellsworth R., and Carol A. Bailey. "Metatheory, Metatheory." Sociological Perspectives 35, no. 3 (September 1992): 525–30. http://dx.doi.org/10.2307/1389333.
Full textPapadimitriou, Christos H. "Database metatheory." ACM SIGACT News 26, no. 3 (September 1995): 13–30. http://dx.doi.org/10.1145/211542.211547.
Full textAllan, Keith. "Linguistic metatheory." Language Sciences 25, no. 6 (November 2003): 533–60. http://dx.doi.org/10.1016/s0388-0001(03)00032-9.
Full textReus-Smit, Christian. "Beyond metatheory?" European Journal of International Relations 19, no. 3 (September 2013): 589–608. http://dx.doi.org/10.1177/1354066113495479.
Full textMcGregor, Sue L. T. "Integral Metatheory: Beyond Specializations, Theoretical Pluralism, and Conventional Metatheory." Family & Consumer Sciences Research Journal 38, no. 2 (December 2009): 142–57. http://dx.doi.org/10.1111/j.1552-3934.2009.00014.x.
Full textPriest, Graham. "Metatheory and dialetheism." Logical Investigations 26, no. 1 (August 6, 2020): 48–59. http://dx.doi.org/10.21146/2074-1472-2020-26-1-48-59.
Full textAydemir, Brian, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich. "Engineering formal metatheory." ACM SIGPLAN Notices 43, no. 1 (January 14, 2008): 3–15. http://dx.doi.org/10.1145/1328897.1328443.
Full textMiller, Dale. "Mechanized Metatheory Revisited." Journal of Automated Reasoning 63, no. 3 (October 4, 2018): 625–65. http://dx.doi.org/10.1007/s10817-018-9483-3.
Full textRozeboom, Wm W. "Meehl on metatheory." Journal of Clinical Psychology 61, no. 10 (2005): 1317–54. http://dx.doi.org/10.1002/jclp.20184.
Full textKoltko-Rivera, Mark E., and 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, no. 10 (September 2005): 881–85. http://dx.doi.org/10.1177/154193120504901002.
Full textDissertations / Theses on the topic "Metatheory"
Stanley, Jason. "Meaning and metatheory." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/11347.
Full textEdwards, 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.
Full textToro, Ipinza Matías. "Abstracting gradual typing: Metatheory and applications." Tesis, Universidad de Chile, 2019. http://repositorio.uchile.cl/handle/2250/170935.
Full textHan 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.
Full textFreire, 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.
Full textRicciotti, 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.
Full textRicciotti, 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/.
Full textDoczkal, Christian [Verfasser], and 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.
Full textBrennan, 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.
Full textHawkins, 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.
Full textEd. D.
Books on the topic "Metatheory"
Siddiqi, Daniel, and Heidi Harley, eds. Morphological Metatheory. Amsterdam: John Benjamins Publishing Company, 2016. http://dx.doi.org/10.1075/la.229.
Full textUtō, Shōkichi. Constructics: A methodology of theory construction. Lanham, Md: University Press of America, 2005.
Find full textChernoff, Fred. Theory and Metatheory in International Relations. New York: Palgrave Macmillan US, 2007. http://dx.doi.org/10.1057/9780230606883.
Full textDholakia, Nikhilesh, and Romeo V. Turcan. Toward a Metatheory of Economic Bubbles. New York: Palgrave Macmillan US, 2014. http://dx.doi.org/10.1057/9781137361790.
Full textSpendel, Zbigniew. Podmiotowość człowieka a psychologia historyczna. Katowice: Wydawn. Uniwersytetu Śląskiego, 1994.
Find full textGálvez, Jesús Padilla. Tratado metateórico de las teorías científicas. Cuenca: Ediciones de la Universidad de Castilla-La Mancha, 2000.
Find full textSchröter, Joachim. Zur Meta-Theorie der Physik. Berlin: Walter de Gruyter, 1996.
Find full textM, King Imogene, and Fawcett Jacqueline, eds. The language of nursing theory and metatheory. Indianapolis, Ind: Sigma Theta Tau International, Center Nursing Press, 1997.
Find full textEdwards, Mark G. Organizational transformation for sustainability: An integral metatheory. New York, NY: Routledge, 2009.
Find full textEdwards, Mark G. Organisational transformation for sustainability: An integral metatheory. New York: Routledge, 2010.
Find full textBook chapters on the topic "Metatheory"
Edwards, Mark G. "Metatheory." In 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.
Full textDibben, Mark R. "Metatheory." In Exploring Interpersonal Trust in the Entrepreneurial Venture, 22–43. London: Palgrave Macmillan UK, 2000. http://dx.doi.org/10.1057/9780230509528_2.
Full textNunez, Iskra. "Metatheory." In Big Picture Perspectives on Planetary Flourishing, 151–68. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003140313-10.
Full textEdwards, Mark G. "Metatheory." In 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.
Full textMadsen, K. B. "Psychological Metatheory." In Annals of Theoretical Psychology, 1–16. Boston, MA: Springer US, 1985. http://dx.doi.org/10.1007/978-1-4613-2487-4_1.
Full textGrotstein, James S. "Bion's metatheory." In A Beam of Intense Darkness, 65–81. London: Routledge, 2023. http://dx.doi.org/10.4324/9781003348665-7.
Full textGunn, Richard. "Marxism, Metatheory and Critique." In Post-Fordism and Social Form, 193–209. London: Palgrave Macmillan UK, 1991. http://dx.doi.org/10.1007/978-1-349-22407-4_11.
Full textStich, Stephen P. "Theory, Metatheory, and Weltanschauung." In Annals of Theoretical Psychology, 87–94. Boston, MA: Springer US, 1985. http://dx.doi.org/10.1007/978-1-4613-2487-4_4.
Full textHenriques, Gregg. "A Metatheory of Mind1." In 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.
Full textScriven, Michael. "Evaluation Theory and Metatheory." In International Handbook of Educational Evaluation, 15–30. Dordrecht: Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-010-0309-4_3.
Full textConference papers on the topic "Metatheory"
Papadimitriou, Christos H. "Database metatheory." In the fourteenth ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/212433.212436.
Full textAydemir, Brian, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich. "Engineering formal metatheory." In the 35th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1328438.1328443.
Full textCheney, James, and Alberto Momigliano. "Mechanized metatheory model-checking." In the 9th ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1273920.1273931.
Full textUrban, Christian, James Cheney, and Stefan Berghofer. "Mechanizing the Metatheory of LF." In 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008). IEEE, 2008. http://dx.doi.org/10.1109/lics.2008.29.
Full textLokosov, Vyacheslav Veniaminovich. "Sociology in contemporary Russia: five keynote aspects." In 6th International Conference “Futurity designing. Digital reality problems”. Keldysh Institute of Applied Mathematics, 2023. http://dx.doi.org/10.20948/future-2023-7.
Full textJohann, Patricia, Alex Simpson, and Janis Voigtländer. "A Generic Operational Metatheory for Algebraic Effects." In 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010). IEEE, 2010. http://dx.doi.org/10.1109/lics.2010.29.
Full textLee, Daniel K., Karl Crary, and Robert Harper. "Towards a mechanized metatheory of standard ML." In the 34th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1190216.1190245.
Full textSIFAKIS, N. "BRIDGING THE PHONOLOGY - PHONETICS GAP - A METATHEORY." In Acoustics '91. Institute of Acoustics, 2024. http://dx.doi.org/10.25144/21039.
Full textZheng, Gangyang, Yu Gong, Zhijian Zhang, and Zibin Liu. "To Analyze the Core Damage Scenario via the RISMC-Based Metatheory and Reliability Theory." In 2014 22nd International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/icone22-30564.
Full textLee, Gyesik. "Two Recent Approaches to Mechanical Developments of Formal Metatheory." In Mechanical Engineering 2013. Science & Engineering Research Support soCiety, 2013. http://dx.doi.org/10.14257/astl.2013.41.10.
Full textReports on the topic "Metatheory"
Weirich, Stephanie, and Steve Zdancewic. Machine-Checked Metatheory for Security-Oriented Languages. Fort Belvoir, VA: Defense Technical Information Center, August 2006. http://dx.doi.org/10.21236/ada536269.
Full text