Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
Deep inference is a proof-theoretic notion in which proof rules apply arbitrarily deeply inside a formula. We show that the essence of deep inference is the bifunctoriality of the connectives. We… (More)
PCB concentration and congener composition were examined in sediments and two species of macrophytes in the St. Lawrence River downstream of Cornwall, Ontario. Total PCBs in the macrophytes ranged… (More)
We have various witnesses about spas during the gallo-roman period; it is in Luchon, Dax, Bagnères-de-Bigorre and Amélie les Bains, that we have the most important number of documents, coins, various… (More)
An abstraction and an investigation to the worth of dendritic cells (DCs) ability to collect, process and present antigens are presented. Computationally, this ability is shown to provide a feature… (More)