Log in

Relevant bibliographies by topics / Equality types / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Equality types.

Dissertations / Theses on the topic 'Equality types'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 17 dissertations / theses for your research on the topic 'Equality types.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Siles, Vincent. "Investigation on the typing of equality in type systems." Palaiseau, Ecole polytechnique, 2010. http://pastel.archives-ouvertes.fr/docs/00/55/65/78/PDF/these.pdf.

Full text

Abstract:

Sur la plateforme de théses en ligne Tel on trouve le résumé suivant en français : Le travail présenté dans cette thèse concerne l'étude de la notion de conversion inhérente à tous système de types dépendants. Plusieurs présentations de ces systèmes ont été étudiées pour des usages variés: typage, recherche de preuve, cohérence de logique. . . Chacune de ces représentation est accompagnée d'une notion d'égalité différente, suivant les besoins du moment. Mais il n'est pas certains que toutes ces représentations parlent en fin de compte d'une seule et même logique. Nous nous intéressons ici à un

APA, Harvard, Vancouver, ISO, and other styles

2

Lewitzka, Steffen. "Contributions to the investigations of Lascar strong types in simple theories." Universidade Federal de Pernambuco, 2003. https://repositorio.ufpe.br/handle/123456789/1862.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:52:47Z (GMT). No. of bitstreams: 2 arquivo4748_1.pdf: 788444 bytes, checksum: bf529ae650fd6acfbf8f43c0335c33fd (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003<br>Lewitzka, Steffen; José Guerra Barreto de Queiroz, Ruy. Contributions to the investigations of Lascar strong types in simple theories. 2003. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2003.

APA, Harvard, Vancouver, ISO, and other styles

3

Slama, Franck. "Automatic generation of proof terms in dependently typed programming languages." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16451.

Full text

Abstract:

Dependent type theories are a kind of mathematical foundations investigated both for the formalisation of mathematics and for reasoning about programs. They are implemented as the kernel of many proof assistants and programming languages with proofs (Coq, Agda, Idris, Dedukti, Matita, etc). Dependent types allow to encode elegantly and constructively the universal and existential quantifications of higher-order logics and are therefore adapted for writing logical propositions and proofs. However, their usage is not limited to the area of pure logic. Indeed, some recent work has shown that they

APA, Harvard, Vancouver, ISO, and other styles

4

Лесік, Ірина Миколаївна, Ирина Николаевна Лесик та Iryna Lesik. "Економічний аналіз гендерної оцінки праці в Україні". Thesis, Миколаївський національний аграрний університет, 2017. http://dspace.mnau.edu.ua/jspui/handle/123456789/3022.

Full text

Abstract:

Розглянуто теоретичні та законодавчо-нормативні аспекти гендерної оцінки праці в Україні. Визначено основні проблеми невідповідності принципу рівних прав та можливостей жінок і чоловіків у праці та винагороді за неї. Запропоновано напрями подолання гендерної нерівності.<br>The theoretical, legislative and regulatory aspects of gender labor evaluation in Ukraine are considered. The main problems of non-compliance of the principle of equal rights and opportunities of women and men in labor and remuneration for it are determined. The directions of overcoming gender inequality are proposed.

APA, Harvard, Vancouver, ISO, and other styles

5

Capriotti, Paolo. "Models of type theory with strict equality." Thesis, University of Nottingham, 2017. http://eprints.nottingham.ac.uk/39382/.

Full text

Abstract:

This thesis introduces the idea of two-level type theory, an extension of Martin-Löf type theory that adds a notion of strict equality as an internal primitive. A type theory with a strict equality alongside the more conventional form of equality, the latter being of fundamental importance for the recent innovation of homotopy type theory (HoTT), was first proposed by Voevodsky, and is usually referred to as HTS. Here, we generalise and expand this idea, by developing a semantic framework that gives a systematic account of type formers for two-level systems, and proving a conservativity result

APA, Harvard, Vancouver, ISO, and other styles

6

Старчун, Я. М. "Реалізація принципів рівності, толерантності і недискримінації у правоохоронній діяльності". Thesis, Чернігів, 2021. http://ir.stu.cn.ua/123456789/23133.

Full text

Abstract:

Старчун, Я. М. Реалізація принципів рівності, толерантності і недискримінації у правоохоронній діяльності : випускна кваліфікаційна робота : 262 "Правоохоронна діяльність" / Я. М. Старчун ; керівник роботи О. А. Марущак ; НУ "Чернігівська політехніка", кафедра правоохоронної діяльності та загальноправових дисциплін. – Чернігів, 2021. – 65 с.<br>Актуальність дослідження зумовлена недостатньою науковою розробленістю проблеми реалізації принципів рівності, толерантності і недискримінації у правоохоронній діяльності, і тому вона потребує вивчення та аналізу як на практичному, так і на науковому рі

APA, Harvard, Vancouver, ISO, and other styles

7

Leong, Sok I. "Equality cases of some Holder-type norm inequalities." Thesis, University of Macau, 2006. http://umaclib3.umac.mo/record=b1636814.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Pasalic, Emir. "The role of type equality in meta-programming /." Full text open access at:, 2004. http://content.ohsu.edu/u?/etd,216.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Bengtsson, Mattias. "Feministiska uttryck : Idealtypsanalys av Sveriges socialdemokratiska ungdomsförbund och Centerpartiets ungdomsförbund." Thesis, Linnéuniversitetet, Institutionen för statsvetenskap (ST), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-60376.

Full text

Abstract:

The aim of this paper is to ascertain what kind of feminist expressions that are prevalent in two of Sweden’s major political youth organizations, the Swedish Social Democratic Youth League and the Centre Party Youth using ideal types constructed from major feminist ideologies. A comparison between the two is also a part of the analysis, to clarify the differences and similarities between the two regarding issues pertaining gender equality. Socialist feminism and radical feminism were prevalent in the Swedish Social Democratic Youth League but it also contained expressions of liberal feminism.

APA, Harvard, Vancouver, ISO, and other styles

10

Wilesmith, J. P. "Political equality, firm size and the choice of social system : a Rawlsian recovery of a neglected ideal-type?" Thesis, University College London (University of London), 2017. http://discovery.ucl.ac.uk/1544405/.

Full text

Abstract:

Recent years have seen a resurgence of interest in the evaluation of models of political economy in normative political theory. These debates raise questions of both a substantive and a methodological nature. On the substantive side, an important question is 'What restrictions, if any, need to be placed on corporations and other types of firms in order for a social system to conform to the demands of justice?' From a methodological standpoint, a central question is 'How should we conceive of the choice between different types of political economy or social system?' These are the two main quest

APA, Harvard, Vancouver, ISO, and other styles

11

de, Carvalho Lundin Johanna, and Nicole Gartz. "Vattendelaren #Ihave : Hur hashtaggen #Ihave i samband med #Metoo kan definiera feminism." Thesis, Luleå tekniska universitet, Institutionen för konst, kommunikation och lärande, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-68922.

Full text

Abstract:

The #Metoo debate also included other hashtags with the willingness to participate in the debate on gender equality. Including the hashtag #Ihave that symbolized the male perspective and came in response to #Metoo. The purpose of this graduation project is to find out how the debate is conducted based on rhetorical and feminist theories, by finding ideals in different positions about the hashtag #Ihave. The material was collected on February 21, 2018 on Facebook and based on posts we received from our private Facebook accounts where we searched for #Ihave in the search field. To this qualitati

APA, Harvard, Vancouver, ISO, and other styles

12

Rossignol, Sophie. "La reconnaissance des discriminations multiples en droit du travail français : état des lieux et perspectives." Thesis, Strasbourg, 2017. http://www.theses.fr/2017STRAA010.

Full text

Abstract:

La non-discrimination est une notion en constante évolution. Elle se doit d’être réceptive aux nouvelles formes discriminatoires vécues par les travailleurs afin de garantir un niveau de protection juridique conforme aux exigences internationales et nationales. En ce sens, les discriminations multiples sont un parfait exemple. Il s’agit de situations dans lesquelles interviennent et interagissent plusieurs motifs prohibés. Or, le concept de discriminations multiples, issu des sciences sociales, n’est théorisé en droit que depuis les années 1980. Si elles sont inconnues du droit positif, la doc

APA, Harvard, Vancouver, ISO, and other styles

13

Latil, Arnaud. "Création et droits fondamentaux." Thesis, Lyon 3, 2011. http://www.theses.fr/2011LYO30073/document.

Full text

Abstract:

L’approche juridique de la notion de création est confuse. Elle est traditionnellement envisagée à travers les droits de propriété intellectuelle (droit d’auteur, brevet, dessins et modèles, etc.). Mais cette approche est insuffisante. Les droits fondamentaux permettent de s’en apercevoir. En effet, la création constitue à la fois une activité humaine (un acte créatif) et un objet de propriété (un bien créatif). L’acte créatif est garanti par la liberté de création. La nature de cette dernière demeure toutefois incertaine. Elle oscille entre un rattachement à la liberté d’expression ou à la li

APA, Harvard, Vancouver, ISO, and other styles

14

Liu, Chia-Chun, and 劉家均. "A Case Study of Learning Behavior, Motivation and Flow Types on Axioms of Equality." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/dm995s.

Full text

Abstract:

碩士<br>國立臺北教育大學<br>數學暨資訊教育學系(含數學教育碩士班)<br>102<br>Though elementary school students in Taiwan have great achievement in mathematics, motivation in learning math is respectively low. Digital game-based learning is an effective way to raise the motivation. This paper aims on exploring the digital game learning behavior, motivation and flow types of the students learning the axioms of equality. This study is based on case-study. The nine study subjects were chosen from a class of twenty six students in a school in Sanxia District, New Taipei City. There were five periods of math per week studying t

APA, Harvard, Vancouver, ISO, and other styles

15

Hsieh, Ming-Chun, and 謝明俊. "The Analysis of Cognitive Diagnostic Modes on Multiple Strategies and Error Types- Take Equality Axioms in elementary school for an example." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/yfbay2.

Full text

Abstract:

碩士<br>國立臺中教育大學<br>教育測驗統計研究所<br>102<br>The purpose of the research is to investigate the relationships of solving strategies, error types, and the math score; furthermore, to compare the difference of effect between single-strategy CDMs and multiple-strategies CDMs. The topic of the study is the mathematics Equality Axioms on the Sixth-Grade students, and the researcher arranges skills, error types, and solving strategies to draw up examination, and then invites the experts to interpret the response of the process in problem-solving. Finally, the study analyses the differences by quantitative s

APA, Harvard, Vancouver, ISO, and other styles

16

Noguchi, Kimihiro. "Combination of Levene-Type Tests and a Finite-Intersection Method for Testing Trends in Variances." Thesis, 2009. http://hdl.handle.net/10012/4365.

Full text

Abstract:

The problem of detecting monotonic increasing/decreasing trends in variances from k samples is widely met in many applications, e.g. financial data analysis, medical and environmental studies. However, most of the tests for equality of variances against ordered alternatives rely on the assumption of normality. Such tests are often non-robust to departures from normality, which eventually leads to unreliable conclusions. In this thesis, we propose a combination of a robust Levene-type test and a finite-intersection method, which relaxes the assumption of normality. The new combined procedure yi

APA, Harvard, Vancouver, ISO, and other styles

17

Miętek, Agata. "Swoboda umów oraz jej ograniczenia przy kształtowaniu treści stosunku pracy." Doctoral thesis, 2018. https://depotuw.ceon.pl/handle/item/2576.

Full text

Abstract:

Przedmiotem dysertacji jest analiza zagadnień związanych ze swobodą umów stron stosunku pracy przy kształtowaniu jego treści. Obecny kształt swobody umów stron stosunku pracy przy kształtowaniu jego treści powstał w zasadniczych zrębach w momencie wprowadzania Kodeksu pracy, w innych uwarunkowaniach ustrojowych, społecznych i gospodarczych. Zmiany, jakie dokonały się w tym czasie, mają charakter fundamentalny, co stwarza nową przestrzeń dla dyskusji o swobodzie umów w prawie pracy. W tej perspektywie sformułowano cztery główne pytania badawcze. Pierwsze pytanie dotyczyło ustalenia charakteru

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!