« Correspondance de Curry-Howard » : historique des versions

15 mai 2024

• actudiff 10:3415 mai 2024 à 10:34‎ Augustin64 fr discuter contributions‎ m 9 980 octets +47‎ Changement du lien vers l'archive annuler Balise : Éditeur visuel : basculé

13 septembre 2022

• actudiff 13:3613 septembre 2022 à 13:36‎ Leluthier discuter contributions‎ m 9 933 octets −6‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

16 octobre 2020

• actudiff 13:4516 octobre 2020 à 13:45‎ Yf discuter contributions‎ m 9 939 octets −2‎ syntaxe annuler

7 juin 2019

• actudiff 01:547 juin 2019 à 01:54‎ Philibre discuter contributions‎ m 9 941 octets +31‎ →‎Bibliographie : précision du lien ajouté annuler
• actudiff 01:537 juin 2019 à 01:53‎ Philibre discuter contributions‎ m 9 910 octets +4‎ →‎Bibliographie : ajout lien interne annuler
• actudiff 01:537 juin 2019 à 01:53‎ Philibre discuter contributions‎ m 9 906 octets +1‎ →‎Bibliographie : (idem) annuler
• actudiff 01:537 juin 2019 à 01:53‎ Philibre discuter contributions‎ m 9 905 octets 0‎ →‎Bibliographie : ajout saut de ligne annuler

10 mai 2019

• actudiff 14:0610 mai 2019 à 14:06‎ Guiguidu60 discuter contributions‎ m 9 905 octets +33‎ Ajout de la palette "informatique théorique" annuler Balise : Éditeur visuel

8 janvier 2018

• actudiff 18:178 janvier 2018 à 18:17‎ STyx discuter contributions‎ 9 872 octets +159‎ →‎Correspondances : MàJ annuler

29 janvier 2017

• actudiff 11:2029 janvier 2017 à 11:20‎ FrPel discuter contributions‎ m 9 713 octets −2‎ →‎Conséquences juridiques annuler
• actudiff 11:1929 janvier 2017 à 11:19‎ FrPel discuter contributions‎ 9 715 octets −3‎ →‎Conséquences juridiques annuler
• actudiff 11:1629 janvier 2017 à 11:16‎ FrPel discuter contributions‎ 9 718 octets +29‎ →‎Conséquences juridiques annuler
• actudiff 11:1129 janvier 2017 à 11:11‎ FrPel discuter contributions‎ m 9 689 octets −1‎ →‎Conséquences juridiques annuler

17 novembre 2016

• actudiff 14:0417 novembre 2016 à 14:04‎ HerculeBot discuter contributions‎ m 9 690 octets −45‎ [Bot] : transformation de liens avec le modèle {{Lien}} en lien interne, suite à la création de l'article correspondant annuler

20 octobre 2016

• actudiff 23:5520 octobre 2016 à 23:55‎ Klinfran discuter contributions‎ m 9 735 octets −6‎ →‎Logique et informatique : une proposition n'est pas une vérité, si c'est une vérité elle est démontrée. annuler Balise : Éditeur visuel

27 septembre 2016

• actudiff 22:0427 septembre 2016 à 22:04‎ Fschwarzentruber discuter contributions‎ 9 741 octets +259‎ →‎Conséquences juridiques : ref annuler Balise : Éditeur visuel
• actudiff 21:4427 septembre 2016 à 21:44‎ 193.52.83.14 discuter‎ 9 482 octets +343‎ Ajout section sur le débat de la brevetabilité du logiciel annuler Balise : Éditeur visuel

17 juin 2016

• actudiff 20:5817 juin 2016 à 20:58‎ SniperMaské discuter contributions‎ m 9 139 octets +14‎ →‎Logique et informatique : gram. + typographie + formatage annuler

16 avril 2016

• actudiff 16:2916 avril 2016 à 16:29‎ Fschwarzentruber discuter contributions‎ m 9 125 octets +22‎ →‎Logique et informatique annuler Balise : Éditeur visuel
• actudiff 16:2616 avril 2016 à 16:26‎ Fschwarzentruber discuter contributions‎ m 9 103 octets +9‎ reformulation annuler Balise : Éditeur visuel

28 janvier 2015

• actudiff 16:2828 janvier 2015 à 16:28‎ JnRouvignac discuter contributions‎ 9 094 octets +32‎ Ajout de liens internes annuler

9 novembre 2014

• actudiff 23:409 novembre 2014 à 23:40‎ SniperMaské discuter contributions‎ m 9 062 octets +27‎ syntaxe + typographie + wikif. + ponct. annuler

7 septembre 2014

• actudiff 22:017 septembre 2014 à 22:01‎ HerculeBot discuter contributions‎ m 9 035 octets +7‎ [Bot] : transformation de liens avec le modèle {{Lien}} en lien interne, suite à la création de l'article correspondant; changements de type cosmétique annuler

7 janvier 2014

• actudiff 16:587 janvier 2014 à 16:58‎ Psaxl discuter contributions‎ 9 028 octets +1 309‎ un isomorphisme avant tout, et principalement travaillé par de Bruijn, utile en déduction modulo annuler

22 décembre 2013

• actudiff 18:3322 décembre 2013 à 18:33‎ Lomita discuter contributions‎ m 7 719 octets +2‎ Orthographe, remplacement: années 60 → années 1960 avec AWB annuler

24 juin 2013

• actudiff 21:0624 juin 2013 à 21:06‎ SniperMaské discuter contributions‎ m 7 717 octets +3‎ →‎Logique et informatique : syntaxe annuler
• actudiff 19:0824 juin 2013 à 19:08‎ SniperMaské discuter contributions‎ m 7 714 octets −1‎ typographie (REM. : d. c.) annuler

23 mai 2013

• actudiff 16:5223 mai 2013 à 16:52‎ Zawer discuter contributions‎ m 7 715 octets +1‎ →‎Logique implicative minimale : orthographe annuler

17 avril 2013

• actudiff 16:1017 avril 2013 à 16:10‎ EmausBot discuter contributions‎ m 7 714 octets −63‎ Retrait de 1 liens interlangues, désormais fournis par Wikidata sur la page d:Q975734 annuler

9 avril 2013

• actudiff 11:129 avril 2013 à 11:12‎ 193.55.177.243 discuter‎ 7 777 octets −1‎ →‎Logique et informatique : Typo annuler

12 mars 2013

• actudiff 21:0912 mars 2013 à 21:09‎ Addbot discuter contributions‎ m 7 778 octets −253‎ Retrait de 7 liens interlangues, désormais fournis par Wikidata sur la page d:q975734 annuler

24 décembre 2012

• actudiff 09:5324 décembre 2012 à 09:53‎ Xqbot discuter contributions‎ m 8 031 octets +62‎ r2.7.3) (robot Ajoute : ru:Соответствие Карри — Ховарда annuler

23 décembre 2012

• actudiff 12:0823 décembre 2012 à 12:08‎ MerlIwBot discuter contributions‎ m 7 969 octets −58‎ robot Retire : ru:Соответствие Карри-Говарда (missing) annuler

14 décembre 2012

• actudiff 15:3814 décembre 2012 à 15:38‎ ZéroBot discuter contributions‎ m 8 027 octets +58‎ r2.7.1) (robot Ajoute : ru:Соответствие Карри-Говарда annuler

22 octobre 2012

• actudiff 20:5022 octobre 2012 à 20:50‎ PouX discuter contributions‎ m 7 969 octets 0‎ Aucun résumé des modifications annuler

31 juillet 2012

• actudiff 22:2431 juillet 2012 à 22:24‎ RedBot discuter contributions‎ m 7 969 octets 0‎ r2.7.2) (robot Modifie : ca:Correspondència Curry-Howard annuler
• actudiff 18:3731 juillet 2012 à 18:37‎ ZéroBot discuter contributions‎ m 7 969 octets +37‎ r2.7.1) (robot Ajoute : ca:Correspondència Curri-Howard annuler

19 juin 2012

• actudiff 11:4519 juin 2012 à 11:45‎ ManiacParisien discuter contributions‎ m 7 932 octets +8‎ →‎Historique : Lien Automath annuler

8 mai 2012

• actudiff 01:088 mai 2012 à 01:08‎ Epsilon0 discuter contributions‎ m 7 924 octets +29‎ liens Haskell Curry et en:Joachim Lambek annuler

5 avril 2012

• actudiff 15:355 avril 2012 à 15:35‎ STyx discuter contributions‎ 7 895 octets −2‎ →‎Logique et informatique : lol annuler

30 novembre 2011

• actudiff 14:2730 novembre 2011 à 14:27‎ Anne Bauval discuter contributions‎ m 7 897 octets +38‎ →‎Calcul du second ordre : lien annuler

31 octobre 2011

• actudiff 03:5131 octobre 2011 à 03:51‎ ZéroBot discuter contributions‎ m 7 859 octets +44‎ r2.7.1) (robot Ajoute : ja:カリー＝ハワード同型対応 annuler

27 septembre 2011

• actudiff 08:5027 septembre 2011 à 08:50‎ ModuloN discuter contributions‎ m 7 815 octets 0‎ →‎Logique implicative minimale annuler

17 avril 2011

• actudiff 12:2117 avril 2011 à 12:21‎ 86.211.14.155 discuter‎ 7 815 octets 0‎ Typos annuler

11 janvier 2011

• actudiff 18:3111 janvier 2011 à 18:31‎ 88.168.232.228 discuter‎ 7 815 octets +26‎ Aucun résumé des modifications annuler

23 décembre 2010

• actudiff 19:1023 décembre 2010 à 19:10‎ SieBot discuter contributions‎ m 7 789 octets +34‎ robot Ajoute: de:Curry-Howard-Isomorphismus annuler

1 octobre 2010

• actudiff 19:171 octobre 2010 à 19:17‎ 87.72.231.6 discuter‎ 7 755 octets +3‎ →‎Historique annuler

27 août 2010

• actudiff 12:4227 août 2010 à 12:42‎ Léna discuter contributions‎ m 7 752 octets +11‎ Changement rapide de {{portail}} : - informatique , + Informatique théorique ; avec BandeauxPortails annuler

3 mai 2010

• actudiff 10:093 mai 2010 à 10:09‎ Theon discuter contributions‎ 7 741 octets −1‎ →‎Bibliographie : mise à jour lien annuler

14 janvier 2010

• actudiff 08:5614 janvier 2010 à 08:56‎ Lregnier discuter contributions‎ 7 742 octets +76‎ Secttion ''Notes et références'' annuler