Search for dissertations about: "meta-theory"

Showing result 1 - 5 of 10 swedish dissertations containing the word meta-theory.

  2. 1. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results

    Author : Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uwe Nestmann; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. READ MORE

  4. 2. Nature and the Social Sciences : Examples from the Electricity and Waste Sectors

    Author : Mikael Klintman; Sociologi; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; ecology; critical realism; electricity; environment; epistemology; green identity; greening; meta-theory; nature; ontology; social science; public participation; waste; windpower; sociology; Sociologi;

    Abstract : The book has two interrelated objectives. One objective is meta-theoretical and concerns the exploration of theoretical debates connected to issues of studying society and environmental problems; another objective is empirical/analytical, referring to the analysis of "green" public participation in the electricity and waste sectors in Sweden, and partly in the Netherlands as well as the UK. READ MORE

  5. 3. Pluripotent Circulations: Analyzing Articulations of Stem Cells in the USA, prior to 2001

    Author : Morten Sager; Göteborgs universitet; []
    Keywords : HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Actor-Network Theory; meta-theory; obligatory point of passage; boundary objects; sociotechnical reality; articulations; human embryonic stem cells; spare embryos; pluripotency;

    Abstract : In this thesis, stem cell research and politics in the USA are analyzed by using actor-network theory (ANT). Here ANT is put to work on largely textual materials, often directly from US political settings, such as Congressional debates and national panels. READ MORE

  6. 4. The Case for Causal Individualism in Social Science

    Author : Gustav Ramström; Ulf Mörkenstam; Alexandra Segerberg; Raino Malnes; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; social ontology; individualism vs. holism; the micro-macro link; social scientific meta-theory; Political Science; statsvetenskap;

    Abstract : Social science has, from its very beginnings, been characterized by debates over the true nature of society and about how to best understand and explain it. At the heart of these discussions lies the question of the causal structure of the social world. READ MORE

  7. 5. A Model of Type Theory in Cubical Sets

    Author : Simon Huber; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Models of dependent type theory; cubical sets; Univalent Foundations;

    Abstract : The intensional identity type is one if the most intricate concepts of dependent type theory. The recently discovered connection between homotopy theory and type theory gives a novel perspective on the identity type. READ MORE