Sökning: "logical types"

Visar resultat 1 - 5 av 49 avhandlingar innehållade orden logical types.

1. 1. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

   Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

   Sammanfattning : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. LÄS MER

3. 2. Type Theory with First-Order Data Types and Size-Change Termination

   Författare :David Wahlstedt; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

   Sammanfattning : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. LÄS MER

4. 3. Max Weber och idealtypernas nödvändighet

   Författare :Erik Jansson Boström; Sharon Rider; Niklas Forsberg; Ola Agevall; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Weber; Ideal Types; Understanding; Meaning; Interpretation; Objectivity; Subjectivity; Philosophy of Science; Epistemology; Social Science; Wittgenstein; Language Games; Instrumentalism; Values; Neokantianism; Weber; Idealtyper; Förståelse; Mening; Tolkning; Objektivitet; Subjektivitet; Filosofi; Vetenskapsteori; Kunskapsteori; Samhällsvetenskap; Wittgenstein; språkspel; Instrumentalism; Värderingar; Nykantianism; Filosofi; Philosophy;

   Sammanfattning : This thesis has two aims: first, to investigate Max Weber’s account of “objective validity” in the cultural sciences; second, to elaborate a more concrete version of this position using Ludwig Wittgenstein’s later remarks on language.Chapter 1 introduces Weber’s idea of objective validity and proposes that in order to understand Weber’s idea of ideal types, we need to re-evaluate Weber’s understanding of the term Bedeutung in “The ‘Objectivity’ of knowledge in Social Science and Social Policy”. LÄS MER

5. 4. Gaming in Mohenjo-daro – an Archaeology of Unities

   Författare :Elke Rogersdotter; Göteborgs universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Mohenjo-daro; Indus Valley; Bronze Age; Pakistan; play; gaming; play spectra; grounded theory; form and content; Simmel; abduction; logical types; autonomously working systems; Bateson; systems of representation; symbolic capital; deconstruction; nanoarchaeology; reflexive archaeology;

   Sammanfattning : The main question of this thesis concerns the possibility of illuminating the presence and impact of the irrational element that is play in an ancient societal structure. With this question as a lodestar, the investigation has come to concern the development of an alternative way of work that can manage to embrace the positively loaded, ‘fun’ dimension of play. LÄS MER

7. 5. Om kyrklundheten : Värde, kunskap och skrivande i Willy Kyrklunds Om godheten

   Författare :Johan Sahlin; Margareta Petersson; Fredrik Stjernberg; Anders Pettersson; Växjö universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Kyrklund; naturalism in ethics; ethical dilemmas; personal identity; self-reflexive literature; metafiction; rhetoric; hybrid genre; essay genre; essayism; philosophy and literature; epistemology; empiricism; rationalism; logical empiricism; Kaila; Darwinism; Literature; Litteraturvetenskap; Comparative literature; Litteraturvetenskap;

   Sammanfattning : The quest for certainty is a constant theme in the works of Swedish-Finnish author Willy Kyrklund. This quest is communicated both explicitly in essayistic prose articles and implicitly as a theme in his works of fiction. LÄS MER