Réductions sûres dans le Lamda-calcul. / Jean-Jacques Lévy

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1974

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Fonctions récursives

Logique mathématique

Université Paris Diderot - Paris 7 (1970-2019) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : On étend au Lambda-calcul, muni de la seule opération de Beta-conversion, certains résultats connus pour les schémas de programmes récursifs. Pour ce faire, on construit une interprétation purement algébrique des Lambda-expressions et on définit la notion de réduction sûre.