منابع مشابه
Symmetries, local names and dynamic (de)-allocation of names
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not apt to implementation. Coalgebras over named sets, called history-dependent automata, are better suited for the purpose due to locality of names. A theory of behavioural functors for named sets is still lacking: the semant...
متن کاملLocal Names in SPKI/SDSI
We analyze the notion of “local names” in SPKI/SDSI. By interpreting local names as distributed groups, we develop a simple logic program for SPKI/SDSI’s linked localname scheme and prove that it is equivalent to the nameresolution procedure in SDSI 1.1 and the 4-tuple-reduction mechanism in SPKI/SDSI 2.0. This logic program is itself a logic for understanding SDSI’s linked local-name scheme an...
متن کاملCategorical Models for Local Names
This paper describes the construction of categorical models for the nu-calculus, a language that combines higher-order functions with dynamically created names. Names are created with local scope, they can be compared with each other and passed around through function application, but that is all. The intent behind this language is to examine one aspect of the imperative character of Standard M...
متن کاملThe history of Latin teeth names.
This paper aims to give an account of the Latin naming of the different types of teeth by reviewing relevant historical and contemporary literature. The paper presents etymologies of Latin or Greek teeth names, their development, variants and synonyms, and sometimes the names of their authors. The Greek names did not have the status of official terms, but the Latin terms for particular types of...
متن کاملA brief history of appendicitis: familiar names and interesting patients.
is seen in his work, which was based largely on the dissection of primates.^ However, he did comment on right lower quadrant pain in his wrifing. He noted that "the colic passion, situated in the large bowel, was found below the umbilicus, more often on the right, and was very apt to recur." At that time, surgical treatment was often delayed until the last possible moment when the abscess was a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Τεκμήρια
سال: 2011
ISSN: 1791-7573,1106-661X
DOI: 10.12681/tekmeria.277