Relevant bibliographies by topics / Lambadi language / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Lambadi language.

Dissertations / Theses on the topic 'Lambadi language'

Author: Grafiati
Published: 4 June 2021
Last updated: 28 July 2025

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

Select a source type:

Consult the top 34 dissertations / theses for your research on the topic 'Lambadi language.'

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

Kathail, Vinod. "Optimal interpreters for lambda-calculus based functional languages." Thesis, Massachusetts Institute of Technology, 1990. http://hdl.handle.net/1721.1/14040.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990.<br>Includes bibliographical references (leaves 195-197).<br>by Vinod Kumar Kathail.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
2

Silvia, Gilezan. "Intersection types in lambda calculus and logic." Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 1993. https://www.cris.uns.ac.rs/record.jsf?recordId=73293&source=NDLTD&language=en.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Madiot, Jean-Marie. "Higher-order languages : dualities and bisimulation enhancements." Thesis, Lyon, École normale supérieure, 2015. http://www.theses.fr/2015ENSL0988/document.

Full text
Abstract:
Les comportements des processus concurrents peuvent être exprimés en utilisant des calculs de processus, des langages formels simples qui permettent de démontrer des résultats mathématiques précis sur les interactions entre processus. Un exemple très simple est CCS, un autre exemple est le pi-calcul, plus expressif grâce à un mécanisme de communication de canaux. Dans ce dernier, on peut instaurer un système de types (pour raffiner l'analyse aux environnements plus contraints) et encoder le lambda-calcul (qui représente les calculs séquentiels).Certains de ces calculs, comme CCS ou des variant
APA, Harvard, Vancouver, ISO, and other styles
4

Xiao, Yong. "From syntactic theories to interpreters : specifying and proving properties /." view abstract or download file of text, 2004. http://wwwlib.umi.com/cr/uoregon/fullcit?p3136455.

Full text
Abstract:
Thesis (Ph. D.)--University of Oregon, 2004.<br>Typescript. Includes vita and abstract. Includes bibliographical references (leaves 152-155). Also available for download via the World Wide Web; free to University of Oregon users.
APA, Harvard, Vancouver, ISO, and other styles
5

Chelyah, Hassane. "Analyse phonographématique de l'Arabe en vue d'applications informatiques." Google Book Search Library Project, 1994. http://books.google.com/books?id=gn1jAAAAMAAJ.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Thévenon, Patrick. "Vers un assistant à la preuve en langue naturelle." Chambéry, 2006. http://www.theses.fr/2006CHAMS036.

Full text
Abstract:
Cette Thèse est la conclusion de trois ans de travail sur un projet nommé DemoNat. Le but de ce projet est la conception d'un système d'analyse et de vérification de démonstrations mathématiques écrites en langue naturelle. L'architecture générale du système se décrit en 4 phases : 1. Analyse de la démonstration par des outils linguistiques ; 2. Traduction de la démonstration dans un langage restreint ; 3. Interprétation du texte traduit en un arbre de règles de déduction ; 4. Validation des règles de déduction à l'aide d'un démonstrateur automatique. Ce projet a mobilisé des équipes de lingui
APA, Harvard, Vancouver, ISO, and other styles
7

Ahn, Ki Yung. "The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types." PDXScholar, 2014. https://pdxscholar.library.pdx.edu/open_access_etds/2088.

Full text
Abstract:
Two major applications of lambda calculi in computer science are functional programming languages and mechanized reasoning systems (or, proof assistants). According to the Curry--Howard correspondence, it is possible, in principle, to design a unified language based on a typed lambda calculus for both logical reasoning and programming. However, the different requirements of programming languages and reasoning systems make it difficult to design such a unified language that provides both. Programming languages usually extend lambda calculi with programming-friendly features (e.g., recursive dat
APA, Harvard, Vancouver, ISO, and other styles
8

Madet, Antoine. "Complexité Implicite de Lambda-Calculs Concurrents." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00794977.

Full text
Abstract:
Contrôler la consommation en ressources des programmes informatiques est d'importance capitale, non seulement pour des raisons de performance, mais aussi pour des questions de sécurité quand par exemple certains systèmes mobiles ou embarqués disposent de quantités limitées de ressources. Dans cette thèse, nous développons des critères statiques pour contrôler la consommation en ressources de programmes concurrents d'ordre supérieur. Nous prenons comme point de départ le cadre des Logiques Light qui a été étudié afin de contrôler la complexité de programmes fonctionnels d'ordre supérieur au moy
APA, Harvard, Vancouver, ISO, and other styles
9

Müller, Fritz [Verfasser], and Reinhard [Akademischer Betreuer] Wilhelm. "On confluence and semantic full abstraction of lambda calculus languages / Fritz Müller ; Betreuer: Reinhard Wilhelm." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2016. http://d-nb.info/1122110596/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Might, Matthew Brendon. "Environment Analysis of Higher-Order Languages." Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/16289.

Full text
Abstract:
Any analysis of higher-order languages must grapple with the tri-facetted nature of lambda. In one construct, the fundamental control, environment and data structures of a language meet and intertwine. With the control facet tamed nearly two decades ago, this work brings the environment facet to heel, defining the environment problem and developing its solution: environment analysis. Environment analysis allows a compiler to reason about the equivalence of environments, i.e., name-to-value mappings, that arise during a program's execution. In this dissertation, two different techniques-abstrac
APA, Harvard, Vancouver, ISO, and other styles
11

Aritiba, Adji Sardji. "Le Lamba de Défalé, langue gurunsi du Togo phonologie et morphologie /." Lille 3 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37602364x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Aritiba, Adji Sardji. "Le lamba de Defale (langue gurunsi du Togo) : phonologie et morphologie." Université Stendhal (Grenoble ; 1970-2015), 1987. http://www.theses.fr/1987GRE39045.

Full text
Abstract:
Le systeme phonologique du lamba comprend d'une part : 9 voyelles reparties en 6 hau enfin une basse a|, neutre du point de vue combinatoire. D'autre part : 17 consonnes, toutes des sourdes et des sonantes. L'enonce verbal simple du lamba se ramene au scheme de predication ns vp (no) (nc), susceptible de se preter systematiquement aux differentes modalites enonciatives telles que la negation, l'interrogation, la mise en relief etc. Les noms s'organisent en 10 classes et en 8 genres. Les verbes, eux, se repartissent en 5 groupes principaux, lesquels representent 13 types de conjugaison. Ces sub
APA, Harvard, Vancouver, ISO, and other styles
13

Bourreau, Pierre. "Jeux de typage et analyse de lambda-grammaires non-contextuelles." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2012. http://tel.archives-ouvertes.fr/tel-00733964.

Full text
Abstract:
Les grammaires catégorielles abstraites (ou λ-grammaires) sont un formalisme basé sur le λ-calcul simplement typé. Elles peuvent être vues comme des grammaires générant de tels termes, et ont été introduites afin de modéliser l'interface entre la syntaxe et la sémantique du langage naturel, réunissant deux idées fondamentales : la distinction entre tectogrammaire (c.a.d. structure profonde d'un énoncé) et phénogrammaire (c.a.d représentation de la surface d'un énoncé) de la langue, exprimé par Curry ; et une modélisation algébrique du principe de compositionnalité afin de rendre compte de la sém
APA, Harvard, Vancouver, ISO, and other styles
14

Duvert, Frédéric. "Composition sémantique pour la langue orale." Phd thesis, Université d'Avignon, 2010. http://tel.archives-ouvertes.fr/tel-00609520.

Full text
Abstract:
La thèse présentée ici a pour but de proposer des systèmes de détection, de composition de constituants sémantiques et d'interprétation dans la compréhension de la langue naturelle parlée. Cette compréhension se base sur un système de reconnaissance automatique de la parole qui traduit les signaux oraux en énoncés utilisables par la machine. Le signal de la parole, ainsi transcrit, comporte un ensemble d'erreurs liées aux erreurs de reconnaissance (bruits, parasites, mauvaise prononciation...). L'interprétation de cet énoncé est d'autant plus difficile qu'il est issu d'un discours parlé, soumi
APA, Harvard, Vancouver, ISO, and other styles
15

Atzemoglou, George Philip. "Higher-order semantics for quantum programming languages with classical control." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f.

Full text
Abstract:
This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the creation of the dagger lambda calculus, a lambda calculus for dagger compact categories. Our second contribution lifts the expressive power of the dagger lambda calculus, to that of a quantum programming language, by adding classical control in the form of complementary classical structures and dualisers. Finally, our third contribution demonstrates how our lambda calculus can be applied to various well known proble
APA, Harvard, Vancouver, ISO, and other styles
16

Reinke, Claus [Verfasser]. "Functions, Frames, and Interactions-completing a lambda-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments / Claus Reinke." Kiel : Universitätsbibliothek Kiel, 1998. http://d-nb.info/1080332626/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Solieri, Marco. "Sharing, Superposition and Epansion : Geometrical Studies on the semantics and Implementation of lambda-calculi and proof-nets." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCD015/document.

Full text
Abstract:
Des sémantiques élégantes et des implémentations efficaces des langages de programmation fonctionnels peuvent être décrits par les mêmes structures mathématiques, notamment dans la correspondance Curry-Howard, où le programmes, les types et l’exécution, coïncident aux preuves, formules et normalisation. Une telle flexibilité est aiguisé par l’approche déconstructive et géométrique de la logique linéaire (LL) et les réseaux de preuve, et de la réduction optimale et les graphes de partage (SG).En adaptent la géométrie de l’interaction de Girard, cette thèse propose une géométrie de l’interaction de
APA, Harvard, Vancouver, ISO, and other styles
18

Pompigne, Florent. "Modélisation logique de la langue et Grammaires Catégorielles Abstraites." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00921040.

Full text
Abstract:
Cette thèse s'intéresse à la modélisation de la syntaxe et de l'interface syntaxe-sémantique de la phrase, et explore la possibilité de contrôler au niveau des structures de dérivation la surgénération que produit le traitement des dépendances à distance par des types d'ordre supérieur. À cet effet, nous étudions la possibilité d'étendre le système de typage des Grammaires Catégorielles Abstraites avec les constructions de la somme disjointe, du produit cartésien et du produit dépendant, permettant d'étiqueter les catégories syntaxiques par des structures de traits. Nous prouvons dans un premi
APA, Harvard, Vancouver, ISO, and other styles
19

Son, Hyunjung. "L' adverbial temporel en DONGAN en coréen : description et formalisation." Paris, EHESS, 2003. http://www.theses.fr/2003EHES0012.

Full text
Abstract:
Il est largement admis que si les adverbiaux temporels jouent un rôle important dans la configuration temporelle des phrases, leur description sémantique et syntaxique demeure relativement marginale. Le présent travail s’est ainsi fixé deux objectifs, le premier étant la description détaillée du fonctionnement de l’adverbial temporel coréen en DONGAN. Cette tâche nous a permis de dégager quatre paramètres permanents de la description du sémantisme de DONGAN : la distinction de mono-occurrence/ multi-occurrence, la structure du groupe déterminant, la quantification et le type de phrases noyaux.
APA, Harvard, Vancouver, ISO, and other styles
20

Pompigne, Florent. "Modélisation logique de la langue et grammaires catégorielles abstraites." Electronic Thesis or Diss., Université de Lorraine, 2013. http://www.theses.fr/2013LORR0283.

Full text
Abstract:
Cette thèse s'intéresse à la modélisation de la syntaxe et de l'interface syntaxe-sémantique de la phrase, et explore la possibilité de contrôler au niveau des structures de dérivation la surgénération que produit le traitement des dépendances à distance par des types d'ordre supérieur. À cet effet, nous étudions la possibilité d'étendre le système de typage des Grammaires Catégorielles Abstraites avec les constructions de la somme disjointe, du produit cartésien et du produit dépendant, permettant d'étiqueter les catégories syntaxiques par des structures de traits. Nous prouvons dans un premi
APA, Harvard, Vancouver, ISO, and other styles
21

Vidal, Didier. "Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte." Nancy 1, 1989. http://www.theses.fr/1989NAN10488.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Sinot, François-Régis. "Stratégies Efficaces et Modèles d'Implantation pour les Langages Fonctionnels." Phd thesis, Ecole Polytechnique X, 2006. http://pastel.archives-ouvertes.fr/pastel-00001952.

Full text
Abstract:
Dans les langages fonctionnels, l'efficacité dépend crucialement du choix de la stratégie d'évaluation et d'un modèle d'implantation adapté. Nous développons d'abord un λ-calcul avec substitutions explicites qui évite les problèmes habituels liés à la substitution et à l'α-conversion, dans lequel on peut définir les stratégies usuelles, mais aussi des stratégies avec un meilleur partage de calcul. Ensuite, nous développons un modèle d'implantation efficace pour ce calcul. Pour cela, nous proposons une représentation innnovante des variables libres, d'abord dans le cadre très général de la récr
APA, Harvard, Vancouver, ISO, and other styles
23

Blanqui, Frédéric. "Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité." Habilitation à diriger des recherches, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00724233.

Full text
Abstract:
Dans ce document, nous montrons comment la notion de calculabilité introduite par W. W. Tait et étendue par Girard aux types polymorphes peut être utilisée et facilement étendue pour montrer la terminaison de différents types de relations de réécriture, y compris avec filtrage sur des symboles définis, filtrage d'ordre supérieur ou réécriture de classe modulo certaines théories équationnelles. Nous montrons également que la notion de clôture de calculabilité donne lieu a une relation bien fondée incluant l'extension à l'ordre supérieur par J.-P. Jouannaud et A. Rubio de l'ordre récursif sur le
APA, Harvard, Vancouver, ISO, and other styles
24

Kerneis, Gabriel. "Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00751444.

Full text
Abstract:
La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurre
APA, Harvard, Vancouver, ISO, and other styles
25

Renaud, Fabien. "Les ressources explicites vues par la théorie de la réécriture." Phd thesis, Université Paris-Diderot - Paris VII, 2011. http://tel.archives-ouvertes.fr/tel-00697408.

Full text
Abstract:
Cette thèse s'articule autour de la gestion de ressources explicites dans les langages fonctionnels, en mettant l'accent sur des propriétés de calculs avec substitutions explicites raffinant le lambda-calcul. Dans une première partie, on s'intéresse à la propriété de préservation de la beta-normalisation forte (PSN) pour le calcul lambda s. Dans une seconde partie, on étudie la propriété de confluence pour un large ensemble de calculs avec substitutions explicites. Après avoir donné une preuve générique de confluence basée sur une série d'axiomes qu'un calcul doit satisfaire, on se focalise su
APA, Harvard, Vancouver, ISO, and other styles
26

Martin, Cyrille. "Composition flexible par planification automatique." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00864000.

Full text
Abstract:
Nous nous positionnons dans un contexte d'informatique ambiante dans lequel il arrive que les besoins de l'utilisateur n'aient pas été prévus, notamment en situation exceptionnelle. Dans ce cas, il peut ne pas exister de système préconçu qui réponde exactement à ces besoins. Pour les satisfaire, il faut alors pouvoir composer les systèmes disponibles dans l'environnement, et le système composé doit permettre à l'utilisateur de faire des choix à l'exécution. Ainsi, l'utilisateur a la possibilité d'adapter l'exécution de la composition à son contexte. Cela signifie que la composition intègre des
APA, Harvard, Vancouver, ISO, and other styles
27

Crubillé, Raphaëlle. "Behavioural distances for probabilistic higher-order programs." Thesis, Sorbonne Paris Cité, 2019. http://www.theses.fr/2019USPCC084.

Full text
Abstract:
Cette thèse est consacrée à l’étude d’équivalences et de distances comportementales destinées à comparer des programmes probabilistes d’ordre supérieur. Le manuscrit est divisé en trois parties. La première partie consiste en une présentation des langages probabilistes d’ordre supérieur, et des notions d’équivalence et de distance contextuelles pour de tels langages.Dans une deuxième partie, on suit une approche opérationnelle pour construire des notions d’équivalences et de métriques plus simples à manipuler que les notions contextuelles : on prend comme point de départ les deux équivalences
APA, Harvard, Vancouver, ISO, and other styles
28

Simnara, Komi. "L’expression des émotions en Lama (Gur, Togo)." Thesis, Paris 3, 2019. http://www.theses.fr/2019PA030023.

Full text
Abstract:
Cette thèse propose une étude des différents procédés utilisés par les locuteurs du lama (langue Gur parlée au Togo) pour exprimer verbalement leurs émotions. Les données analysées proviennent d’un corpus de première main recueilli sur le terrain à Kantè (Togo). Il consiste en une trentaine d’heures d’enregistrement de conversations spontanées et naturelles recueillies sur des places publiques comme les marchés, les lieux d’activités ludiques, ou de manifestations culturelles, tantôt au moyen d’enregistrements impromptus, tantôt par des prises de notes. Il en ressort que l’émotion peut se mani
APA, Harvard, Vancouver, ISO, and other styles
29

Kerneis, Gabriel. "Continuation-Passing C : transformations de programmes pour compiler la concurrence dans un langage impératif." Phd thesis, Paris 7, 2012. http://www.theses.fr/2012PA077133.

Full text
Abstract:
La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurre
APA, Harvard, Vancouver, ISO, and other styles
30

"An Inverse Lambda Calculus Algorithm for Natural Language Processing." Master's thesis, 2010. http://hdl.handle.net/2286/R.I.8667.

Full text
Abstract:
abstract: Natural Language Processing is a subject that combines computer science and linguistics, aiming to provide computers with the ability to understand natural language and to develop a more intuitive human-computer interaction. The research community has developed ways to translate natural language to mathematical formalisms. It has not yet been shown, however, how to automatically translate different kinds of knowledge in English to distinct formal languages. Most of the recent work presents the problem that the translation method aims to a specific formal language or is hard to genera
APA, Harvard, Vancouver, ISO, and other styles
31

Wright, David Amson. "Reduction types and intensionality in the lambda-calculus." Thesis, 1992. https://eprints.utas.edu.au/21897/1/whole_WrightDavidAmson1993_thesis.pdf.

Full text
Abstract:
In this thesis I introduce a new approach to the automated analysis of the reduction behaviour of A-calculus terms. This new approach improves on earlier analysers in several ways, not least in its treatment of higher-order terms and polymorphism, two notably troublesome issues. In addition, this thesis introduces a stronger notion of reduction behaviour than strictness. This concept, called strong head neededness, forms the basis for a new notation for describing the reduction behaviour of terms. This notation is a kind of type, elements of which are built using a Boolean algebra of fu
APA, Harvard, Vancouver, ISO, and other styles
32

Valiron, Benoît. "Semantics for a Higher Order Functional Programming Language for Quantum Computation." Phd thesis, 2008. http://tel.archives-ouvertes.fr/tel-00483944.

Full text
Abstract:
L'objectif de cette thèse est de développer une sémantique d'ordre supérieur pour l'information quantique. S'appuyant sur les travaux de master (M.Sc.) de l'auteur, nous étudions un lambda-calcul pour le calcul quantique avec contrôle classique. Le langage comporte deux aspects. Le premier, émanant du théorème dit de « no-cloning » de l'information quantique, est le besoin de distinguer entre les données duplicables et celles non-duplicables. Pour tenir compte de la duplicabilité à l'ordre supérieur, nous utilisons un système de types inspiré par la logique linéaire, logique sensible à la noti
APA, Harvard, Vancouver, ISO, and other styles
33

Patrick, Thévenon. "Vers un assistant à la preuve en langue naturelle." Phd thesis, 2006. http://tel.archives-ouvertes.fr/tel-00414773.

Full text
Abstract:
Cette Thèse est la conclusion de trois ans de travail sur un projet nommé DemoNat. Le but de ce projet est la conception d'un système d'analyse et de vérification de démonstrations mathématiques écrites en langue naturelle.<br><br>L'architecture générale du système se décrit en 4 phases :<br>- analyse de la démonstration par des outils linguistiques ;<br>- traduction de la démonstration dans un langage restreint ;<br>- interprétation du texte traduit en un arbre de règles de déduction ;<br>- validation des règles de déduction à l'aide d'un démonstrateur automatique.<br><br>Ce projet a mobilisé
APA, Harvard, Vancouver, ISO, and other styles
34

Rodríguez, Leonardo Matías. "Generación de código intermedio usando semántica funtorial." Bachelor's thesis, 2010. http://hdl.handle.net/11086/41.

Full text
Abstract:
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.<br>Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio a partir del programa fuente.La generación de código intermedio se realiza a partir de la semántica denotacional del lenguaje, es decir, se elige un modelo que permite pensar las ecuaciones semánticas como traducciones al lenguaje intermedio. El
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Lambadi language' for other source types:
Journal articles Books
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!

To the bibliography