CodexAI

par KI

Workspace

Toutes les décisions2.7M+Récentes

Judiciaires

Cour de Cassation Cour d'Appel Tribunal Judiciaire Trib. de Commerce

Administratives

Conseil d'État Cour Admin. d'Appel Trib. Administratif

Codes de loi

Code civil Code du travail Code de commerce Code pénal Code procédure civile CGI Code sécu. sociale Code de l'urbanisme Code de l'enviro.Code monétaire fin.

Droit social

Prud'hommes19K Conventions coll.26K Doctrine fiscale14K

IA & Outils

IA JuridiqueNEW Veille hebdoNEW MCP ServerAPI Citations Statistiques Alertes

Connexion S'inscrire

CodexAI

Recherche Jurisprudence Codes Citations Statistiques Alertes

Codes de loi français

110+ codes · Base LEGI DILA · Texte consolidé en vigueur

106 053 articles indexés

1 résultats pour « Church »

ARTICLE

CODE

EXTRAIT

Recherche Décisions Codes CPH Alertes

Article 19

—

Lambda-calcul, bêta-conversion, théorème de Church-Rosser, représentation des fonctions récursives, équivalence avec le modèle des machines de Turing, théorèmes de point fixe. 2.