-
On the lambda calculus with constructors
The lambda calculus with constructors was introduced by Arbiser, Miquel and Rios in the early 2000's as an extension of lambda calculus with pattern matching features.... -
Safe Recursive Boxes
We study recursion in call-by-value functional languages, and more specifically a recursion construct recently introduced by Dreyer, which builds recursive boxed... -
Conformance of agents in the Eiffel language
Projet DESIGN -
Use of pulsed-field gel electrophoresis to characterize the heterogeneity and...
Salmonella is a well-documented pathogen known to occur in a wide range of foods, especially poultry products. The most frequently reported food-sources of human... -
Type Inference in the Presence of Subtyping: from Theory to Practice
From a purely theoretical point of view, type inference for a functional language with parametric polymorphism and subtyping poses little difficulty. Indeed, it... -
Analysis of a Guard Condition in Type Theory (Preliminary Report)
We present a realizability interpretation of co-inductive types based on partial equivalence relations (per's). We extract from the per's interpreta- tion sound rules... -
Toward a General Rewriting-Based Framework for Reducibility
Reducibility is a powerful proof method which applies to various properties of typed terms in different type systems. For strong normalization, different vari- ants... -
Rethinking Traditional Web Interaction
International audience -
A RT-PCR assay for the rapid recognition of border disease virus
International audience -
Molecular characterization of Mycobacterium tuberculosis complex isolates fro...
International audience -
Recent advances in the understanding of Chlamydophila pecorum infections, six...
International audience -
A pragmatic reconstruction of Lambda-Prolog
International audience -
Logics for XML
Cette thèse propose une nouvelle logique d'arbres finis pour analyser les programmes manipulant les données du Web. Cette logique offre le meilleur compromis connu entre... -
Un traitement sémantique de la polysémie lexicale dans le domaine du dialogue...
Colloque avec actes et comité de lecture. nationale.
