Etude des réductions dans le lambda-calcul et la logique combinatoire

Simple item page
dc.contributor.authorMezghiche, Mohamed
dc.date.accessioned2016-02-14T09:17:04Z
dc.date.available2016-02-14T09:17:04Z
dc.date.issued1992
dc.description77 p. ; 30 cm. (+ microfiche)fr_FR
dc.identifier.urihttp://hdl.handle.net/123456789/4514
dc.language.isofrfr_FR
dc.subjectInformatique, logique combinatoirefr_FR
dc.subjectLambda-calcul,fr_FR
dc.titleEtude des réductions dans le lambda-calcul et la logique combinatoirefr_FR
dc.typeThesisfr_FR

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
résumé.docx
Size:
10.85 KB
Format:
Microsoft Word XML
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Théses de Doctorat