Sökning: "primitive"

Visar resultat 1 - 5 av 122 avhandlingar innehållade ordet primitive.

  1. 1. Les sacres : en socio-kulturell analys av tio versioner av ett Våroffer

    Detta är en avhandling från Stockholm : Stift. för utgivning av teatervetenskapliga studier

    Författare :Katarina Lion; Stockholms universitet.; [2000]
    Nyckelord :HUMANIORA; HUMANITIES; reconstruction; original; hierarchies; dance history; colonialism; primitive; the other; rite.; Theatre Studies; teatervetenskap;

    Sammanfattning : The purpose of the dissertation is to bring to light and focus upon, through a number of disparate investigations, the socio-cultural ideology and practices expressed in some of the dance events which constitute an echo of the cry implied by the most canonized ballet of the 1900s, Le Sacre du Printemps choreographed in 1913 by Vaslav Nijinsky. The study commences with a discussion, which aims to define key concepts such as "reconstruction" and "original". LÄS MER

  2. 2. Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus

    Detta är en avhandling från Stockholm : Numerisk analys och datalogi (NADA), (tills m KTH)

    Författare :Johan Glimming; Stockholms universitet.; [2007]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; denotational semantics; axiomatic domain theory; coalgebra; primitive co recursion; object-based programming; typed object calculus; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; datalogi; Computer Science;

    Sammanfattning : In the first part of this thesis, we contribute to the semantics of typed object calculus by giving (a) a category-theoretic denotational semantics using partial maps making use of an algebraic compactness assumption, (b) a notion of "wrappers'' by which algebraic datatypes can be represented as object types, and (c) proofs of computational soundness and adequacy of typed object calculus via Plotkin's FPC (with lazy operational semantics), thus making models of FPC suitable also for first-order typed object calculus (with recursive objects supporting method update, but not subtyping). It follows that a valid equation in the model induces operationally congruent terms in the language, so that program algebras can be studied. LÄS MER

  3. 3. Electronic Potlatch : A study concerning new technologies and primitive economic behaviors

    Detta är en avhandling från Stockholm : KTH

    Författare :Alf Rehn; KTH.; [2001]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; general economy; gift economies; gifts; potlatch; warez; play; excess; software piracy; TECHNOLOGY Industrial engineering and economy; TEKNIKVETENSKAP Industriell teknik och ekonomi;

    Sammanfattning : Economy - the very idea. In an age where the market economy seems to have achieved a total and omnipresent hegemony, there would seem to be little to discuss anymore. Going against this, the book argues for a sensitivity to other forms of economies,and the hybrids existing in our postindustrial society. LÄS MER

  4. 4. On function definitions I : basic notions and primitive recursive function definitions

    Detta är en avhandling från Chalmers University of Technology

    Författare :Daniel Fredholm; Chalmers tekniska högskola.; Chalmers University of Technology.; [1990]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  5. 5. A machine checked proof that Ackermann's function is not primitive recursive

    Detta är en avhandling från Chalmers University of Technology

    Författare :Nora Szasz; Chalmers tekniska högskola.; Chalmers University of Technology.; [1991]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER