Using immunohistochemistry the presence of different dendritic cell (DC) subsets was analysed in 16 biopsies from patients with oral lichen planus (OLP). A significant increase of CD1a+/Langerin+… Expand

This paper is about a categorical approach for modelling the pure (i.e., without constants) call-by-value λ-calculus, defined by Plotkin as a restriction of the call-by-name λ-calculus. In… Expand

We explain why the original proofs of P-Time completeness forLigh t Affine Logic and Light LinearLogic can not work, and we fully develop a working one.Expand

We present the reversible primitive recursive functions (RPRF), a class of reversible (endo-)functions over natural numbers which allows to capture interesting extensional aspects of reversible computation in a formalism quite close to that of classical primitive recursion functions.Expand

We present a class RPRF of reversible functions which holds at bay intensional aspects and emphasizes the extensional side of the reversible computation by following the style of Dedekind-Robinson Primitive Recursive Functions.Expand

We introduce a multimodal stratified framework MS that generalizes an idea hidden in the definitions of Light Linear/Affine logical systems: "More modalities means more expressiveness".Expand

We design a library for binary-field arithmetic and we supply a core application programming interface (API) completely developed in a formal system we introduce: Typeable Functional Assembly.Expand

Die vorliegende Arbeit, in welcher Untersuchungen iiber den Lipoidstoffwechsel und die Methylierung in einigen Fallen von diabetischer Retinopathie behandelt werden, bezweckt nicht so sehr, einen der… Expand