Searching for authors named "Tristan Crolard" – sorted by Relevance.
-
A Constructive Restriction of the lambda µ-calculus
- A Constructive Restriction of the -calculus Tristan Crolard crolard@(email omitted); April
- Add To MetaCart
-
A Confluent Lambda-Calculus With a Catch/throw Mechanism
- catch/throw mechanism To appear in Journal of Functional Programming Tristan Crolard Laboratoire
- Cited by 9 (3 self) – Add To MetaCart
-
A constructive restriction of the λµ-calculus
- A Constructive Restriction of the λµ-calculus Tristan Crolard ∗ crolard@(email omitted);u
- Cited by 1 (0 self) – Add To MetaCart
-
A formulae-as-types interpretation of subtractive logic
- A Formulae-as-Types Interpretation of Subtractive Logic TRISTAN CROLARD Laboratory of Algorithmics
- Cited by 11 (0 self) – Add To MetaCart
-
Subtractive Logic
- Subtractive Logic To appear in Theoretical Computer Science Tristan Crolard crolard@ufr-info-p7
- Cited by 6 (1 self) – Add To MetaCart
-
E.: Automatic parametric verification of a root contention protocol based on abstract state machines and first order timed logic
- Logic Danièle Beauquier, Tristan Crolard and Evguenia Prokofieva Laboratory of Algorithmics, Complexity
- Cited by 1 (0 self) – Add To MetaCart
-
A Predicate Logic Framework for Mechanical Verification of Real-Time Abstract State . . .
- -Time Abstract State Machines: A Case Study with PVS. Daniele Beauquier Tristan Crolard Anatol Slissenko
- Cited by 1 (1 self) – Add To MetaCart

