Discussion:Propriété de Church-Rosser
Dernier commentaire : il y a 9 ans par ManiacParisien dans le sujet Propriété de Church-Rosser ou théorème de Church-Rosser
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Propriété de Church-Rosser ou théorème de Church-Rosser
modifierJe suis bien embêté par le fait que la page ne parle que de la propriété, et pas du théorème de Church-Rosser comme dans les autres langues. Je propose de faire évoluer cette page vers le théorème, quitte à la renommer si j'aboutis. Des avis ? -- ManiacParisien (discuter) 27 mai 2015 à 16:10 (CEST)