Pascal Manoury

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

Coauthor Index

1	Anne Brygoo	[4]
2	Titou Durand	[4]
3	Michel Parigot	[1]
4	Christian Queinnec	[4]
5	Marianna Simonot	[1] [2]
6	Michèle Soria	[4]

Colors in the list of coauthors