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