Skip to main content
In type-theoretic research on object-oriented programming, the issue of “covariance versus contravariance” is a topic of continuing debate. In this short note we argue that covariance and contravariance appropriately characterize two... more
    • by 
    •   11  
      Information SystemsComputer ScienceObject Oriented ProgrammingType Theory
El problema de las relaciones lenguaje-pensamiento es un problema implícito en toda teoría lingüística; por otro lado, es un problema con el que cuentan los hablantes. El problema es hoy de la máxima actualidad gracias a las llamadas... more
    • by 
    •   3  
      PsychologyLanguages and LinguisticsLanguage Theory
Toda teoría parte de unas verdades o principios que se toman como verdades para estudiar un objeto. Los resultados obtenidos desde la misma responden a la verdad de esos principios más que a la teoría misma, que en principio es coherente... more
    • by 
    •   2  
      Languages and LinguisticsLanguage Theory
La llamada lingüística cognitiva se define a sí misma de tres maneras: como disciplina lingüística, como teoría «cognitiva», es decir, teoría del conocimiento, y como disciplina científica. Ahora bien en consonancia con esa triple... more
    • by 
    •   3  
      Languages and LinguisticsCognitive LinguisticsLanguage Theory
    • by 
    •   2  
      Language TheoryTheory of Lexical Motivation
Resumen Las teorías actuales sobre el lenguaje se basan en la sonoridad dado que ése es su componente natural por lo que no son útiles para analizar la Lengua de Señas (LS) que se caracteriza por su elemento visual, no sonoro. Este hecho... more
    • by  and +1
    •   8  
      Sign LanguageInterbehaviorismDeafnessLanguage Theory
    • by 
    •   6  
      AlgebraGroup TheoryTheoretical Computer ScienceMathematical Sciences
    • by 
    •   3  
      DialectologyChinaLanguage Theory
    • by 
    •   3  
      Language TheoryGroup TechnologyHierarchical Classification
We propose a way to define (and, to a certain extent, even to measure) the phenomenon of emergence which appears in a complex system of interacting agents whose global behaviour can be described by a language and whose components (agents)... more
    • by 
    •   7  
      Computer ScienceEmergenceComplex SystemMulti Agent Systems
    • by 
    •   9  
      TopologyTheoretical Computer ScienceMathematical SciencesFormal language
Is there a default language in an environment characterized by a high degree of linguistic variation? and how is this language recognized?
    • by 
    •   3  
      SociolinguisticsLinguistic VariationLanguage Theory
    • by 
    •   7  
      Graph TheoryTheoretical Computer ScienceMathematical SciencesPetri Net
This thesis discusses the relationship between the experiences particular to the female body, namely pregnancy and childbirth, and the language employed to voice these experiences. This thesis is set up to reflect the physical cycle of... more
    • by 
    •   2  
      PoetryLanguage Theory
The file includes outlines of the courses I would love to teach and adapt to the specific needs of learners. Most of the materials included in the course have been organized in documents and folders, published or uploaded as draft copies.
    • by 
    •   8  
      Instructional DesignPhilosophy of Cognitive ScienceExperimental PsycholinguisticsOnline and Distance Learning and Education
    • by 
    •   17  
      LanguagesCognitive ScienceAlgorithmsTheory
    • by 
    •   14  
      Analytic PhilosophyLogicTranslation StudiesPragmatics
Marcadores del discurso y lingüística contrastiva en las lenguas románicas Martha Rudka, Óscar Loureda, Giovanni Parodi (eds.
    • by 
    •   6  
      Romance philologyDiscourse MarkersRomance LinguisticsRomance Languages
    • by 
    •   8  
      AlgorithmData StructureAlphabetLanguage Theory
    • by 
    •   13  
      MathematicsComputer ScienceModelingData Structure
    • by 
    •   3  
      Discourse MarkersSpoken languageLanguage Theory
    • by 
    •   11  
      Distributed ComputingComputational LinguisticsArtificial LanguageMathematical Logic
In this book I want to make different syntheses of Coseriu’s theory convinced that his theory is not only a theory about language but the philosophy of someone who focused his life on that aspect he considered the radical reality of what... more
    • by 
    •   5  
      Linguistics and languageLanguage TheoryDeterminingThe Speaking Subject
    • by 
    •   10  
      Information TechnologyXMLAlgorithmDocument processing
    • by 
    •   7  
      AutomataTheoretical Computer ScienceMathematical SciencesFormal language
We continue the study of combinatorial property testing. For a property ψ, an ɛ-test for ψ, for 0 ≤ 1, is a randomized algorithm that given an input x, returns “yes” if x satisfies ψ, and returns “no” with high probability if x is ɛ-far... more
    • by 
    •   46  
      MathematicsComputer ScienceQuantum PhysicsMachine Learning
    • by 
    •   5  
      Symbolic ComputationTheoretical Computer ScienceMathematical SciencesFormal language
    • by 
    •   15  
      Cognitive ScienceComputer ScienceLinguisticsLanguage
    • by 
    •   19  
      Cognitive ScienceDistributed ComputingArtificial IntelligenceOntology
    • by 
    •   7  
      MathematicsComputer ScienceMathematical LogicProgramming
    • by 
    •   7  
      ComplexityTheoretical Computer ScienceMathematical SciencesAutomata Theory
    • by 
    •   18  
      EngineeringXMLDatabasesXML Schema
    • by 
    •   7  
      Logic ProgrammingKnowledge RepresentationSoftware AgentsProlog
This article is the introduction to the 7th volume of the Iconicity in Language and Literature Series (John Benjamins). First a brief historical outline of the concepts of naturalness and iconicity in linguistic theory is given. Both... more
    • by 
    •   9  
      Computer ScienceEpistemologyIconicityNaturalness
    • by 
    •   9  
      MathematicsComputer ScienceTheoretical Computer ScienceLambda Calculus
Synchronized extension systems (SE-systems, for short) are 4tuples G =(V,L1,L2,S), where V is an alphabet and L1, L2 and S are languages over V. They generate languages extending L1 by L2 to the left or to the right, and synchronizing on... more
    • by 
    •   10  
      Computer SoftwareDerivationTailFACTORISATION
Within Amish scholarship, the topic of Amish language use has the highest quantity of publications second only to health research. The Amish have been of interest because they not only use English but also two variants of German:... more
    • by 
    •   8  
      Language Variation and ChangePennsylvania German studiesLanguage ChangeAmish
    • by 
    •   3  
      RewritingEquivalenceLanguage Theory
    • by 
    •   6  
      EngineeringMathematical SciencesFormal languagesCircuit Complexity
    • by 
    •   9  
      ClosureProductComplementationFormal language
    • by  and +1
    •   9  
      Program AnalysisFinite State AutomatonStandardLanguage Theory
Strings can be mapped into Hilbert spaces using feature maps such as the Parikh map. Languages can then be defined as the pre-image of hyperplanes in the feature space, rather than using grammars or automata. These are the planar... more
    • by 
    •   11  
      AutomataLinguisticsGrammarNatural language
    • by 
    •   12  
      EconomicsGame TheoryPhilosophy of ScienceReinforcement Learning
    • by 
    •   4  
      Theoretical Computer ScienceMathematical SciencesLanguage TheoryBoolean Satisfiability
    • by 
    •   10  
      Information SystemsPsychologySocial PsychologyKnowledge Management
    • by 
    •   6  
      Finite State AutomatonAlphabetLanguage TheoryNumerical Analysis and Computational Mathematics
Flexible cell formation is based on Group Technology. Group Technology rests on the exploitation of resemblances between products or processes, which makes the identification of products ’ families and machines ’ cells easier. We propose... more
    • by 
    •   7  
      EngineeringComputer ScienceTechnologyEngineering Technology
Strong normalization results are obtained for a general language for collection types. An induced normal form for sets and bags is then used to show that the class of functions whose input has height (that is, the maximal depth of... more
    • by 
    •   8  
      MathematicsComputer ScienceDistributed ComputingOptimization
    • by 
    •   15  
      MathematicsRecursion TheoryComputer ScienceComputational Complexity
    • by 
    •   4  
      DialecticHistory of LiteratureLanguage TheoryTheater