| P. De Brogniez < P. De Groote < P. De La Fuente | Facettes : |
List of bibliographic references indexed by P. De Groote
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 00C520 (1995) | P. De Groote | A Simple Calculus of Exception Handling |
| 00C526 (1995) | P. De Groote | Linear Logic with Isabelle : Pruning the Proof Search Tree |
| 00CA08 (1994) | P. De Groote | Strong Normalization in a Non-Deterministic Typed Lambda-Calculus |
| 00CA21 (1994) | P. De Groote | On the Relation between the λ\mu-Calculus and the Syntactic Theory of Sequential Control |
| 00CC28 (1994) | P. De Groote | A CPS-Translation of the λ\mu-Calculus |
| 00CF11 |