• Publications
  • Influence
Intuitionistic Light Affine Logic
TLDR
This article is a structured introduction to Intuitionistic Light Affine Logic (ILAL). Expand
  • 119
  • 22
  • PDF
Recruitment of dendritic cells in oral lichen planus
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
  • 93
  • 6
The call-by-value λ-calculus: a semantic investigation
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. InExpand
  • 21
  • 3
  • PDF
A P-Time Completeness Proof for Light Logics
TLDR
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
  • 36
  • 2
  • PDF
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions
TLDR
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
  • 12
  • 2
Intersection Logic
TLDR
The intersection type assignment system IT uses the formulas of the negative fragment of the predicate calculus (LJ) as types for the λ-terms. Expand
  • 28
  • 1
  • PDF
A Class of Reversible Primitive Recursive Functions
TLDR
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
  • 17
  • 1
  • PDF
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets
TLDR
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
  • 8
  • 1
  • PDF
Typing a Core Binary-Field Arithmetic in a Light Logic
TLDR
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
  • 4
  • 1
  • PDF
LIPOID‐ UND PROTEIDSTOFFWECHSEL UND STUDIUM DER METHYLIERUNG IN DIABETISCHER RETINITIS
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 derExpand
  • 2
...
1
2
3
4
5
...