| 2002 |
|---|
| 4 | | Anne Brygoo,
Titou Durand,
Pascal Manoury,
Christian Queinnec,
Michèle Soria:
Experiment around a training engine.
TelE-Learning 2002: 45-52 |
| 1994 |
|---|
| 3 | | Pascal Manoury:
A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms.
TYPES 1994: 83-100 |
| 2 | | Pascal Manoury,
Marianna Simonot:
Automatizing Termination Proofs of Recursively Defined Functions.
Theor. Comput. Sci. 135(2): 319-343 (1994) |
| 1992 |
|---|
| 1 | | Pascal Manoury,
Michel Parigot,
Marianna Simonot:
ProPre A Programming Language with Proofs.
LPAR 1992: 484-486 |
