Searching for authors named "Tristan Crolard" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
