In Proc. Int. Workshop on Logical Frameworks and Meta- Languages: Theory and Practice, pages 46-59, 2006.Berghofer, S. & Urban, C. (2007), `A Head-to-Head Comparison of de Bruijn In- dices and Names', Electronic Notes in Theoretical Computer Science 174(5), 53- 67....
Javier Caro Reina, Cologne University, Germany;Johannes Helmbrecht, Regensburg University, Germany. Topics Linguistic Typology Linguistics and Semiotics Theoretical Frameworks and Disciplines (Deutsch) Please note that the paperback edition is printed upon ordering, and will take 2 to 4 weeks to deliver...
Topics Linguistics and Semiotics Sociolinguistics Theoretical Frameworks and Disciplines
In informal mathematical discourse (such as the text of a paper on theoretical computer science), we often reason about equalities involving binding of object-variables. We find ourselves writing assertions involving meta-variables and captureavoidance constraints on where object-variables can and cannot...
successfully in nervous system inflammatory demyelinating diseases (CNS-IDD). It primarily modulates the humoral disease fighting capability; thus, it offers a higher theoretical impact in conditions with prominent humoral mechanisms, such as for example neuromyelitis optica (NMO). However, in addition ...
Our findings extend the understanding of negative sponsorship effects in addition to the mechanisms and theoretical frameworks that are documented in the literature (Cornwell et al, 2005). 展开 关键词: Sport Consumer Behaviour Communication Sponsorship Consumer resistance Naming rights DOI: 10.1108/EJM...
whereby personal names are used to mark individual and social identities (Finch2008). Despite their fundamental and ubiquitous importance for each individual in a multitude of contexts, scholars are only just beginning to give personal names and naming practices “the theoretical and analytical scrutiny...
of 9th Wksh. on Logical and Semantic Frameworks, with Applications, LSFA 2014, volume 312 of ENTCS, pages 19-50. Elsevier, 2015.Pitts, A. M., Matthiesen, J., Derikx, J., 2015. A Dependent Type Theory with Abstractable Names. Electronic Notes in Theoretical Computer Sci- ence 312, ...
This chapter briefly introduces mobile location-aware apps before describing the theoretical frameworks that informed our instructional design, methodological decisions, and interpretations of findings. Next, we describe the mobile AR app we used in our research from two empirical studies described in ...
In addition, a brand name which is inherently easy to remember can result in the achievement of desired levels of brand awareness more efficiently.; This research draws upon theoretical frameworks within the disciplines of cognitive psychology and linguistics and develops a theory of the cognitive ...