This paper introduces a formal metalanguage called the lambda-q calculus for the specification of quantum programming languages. This metalanguage is an extension of the lambda calculus, which provides a formal setting for the specification of classical programming languages. As an intermediary step, we introduce a formal metalanguage called the lambdap calculus for the specification of program...

This poster presentation is the culmination of an extensive statistical study of Latin elegy. The notion that poetic sound represents a distinct layer of information where discrete patterns can be found is an intriguing one. In a theoretical context, sound captures a "metalanguage" that is universal to all discourse, but only exposed in poetry. This poster develops a model for metalanguage and ...

The metalinguistic facilities of natural language are crucial to our ability to communicate, but the patterns behind the appearance of metalanguage—and thus the clues for how we may instruct computers to detect it—have remained relatively unknown. This paper describes the first results on the feasibility of automatically identifying metalanguage in English text. A core metalinguistic vocabulary...

Metalanguage is an essential linguistic mechanism which allows us to communicate explicit information about language itself. However, it has been underexamined in research in language technologies, to the detriment of the performance of systems that could exploit it. This paper describes the creation of the first tagged and delineated corpus of English metalanguage, accompanied by an explicit d...

An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on intuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing tr...

This paper offers a metalanguage to describe the nature of choosing the syntactic position of a causee in causative constructions, focusing on transitive constructions in nominative-accusative languages, with some comments on ergative languages. The generalization of Comrie's hypothesis about the causee's position is also given in terms of this metalanguage. Several statements pretending to be ...

Notions of guardedness serve to delineate admissible recursive definitions in various settings a compositional manner. In recent work, we have introduced an axiomatic notion symmetric monoidal categories, which serves as unifying framework for examples from program semantics, process algebra, and beyond. the present paper, propose generic metalanguage guarded iteration based on combining this w...

In this paper, we study such a specific product of enigmatic discourse as crossword puzzle. The powerful potential text is manifested in its ability to accumulate and translate cultural meanings values, which explains the recent appearance large number works on linguistic, cultural, structural-semantic cognitive-discursive features language. ontological nature crossword, undertaken research, gr...

The logic which describes quantum robots is not orthodox quantum logic, but a deductive calculus which reproduces the quantum tasks (computational processes, and actions) taking into account quantum superposition and quantum entanglement. A way toward the realization of intelligent quantum robots is to adopt a quantum metalanguage to control quantum robots. A physical implementation of a quantu...