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

dc.contributor.author	Mezghiche, Mohamed
dc.date.accessioned	2016-02-14T09:17:04Z
dc.date.available	2016-02-14T09:17:04Z
dc.date.issued	1992
dc.identifier.uri	http://hdl.handle.net/123456789/4514
dc.description	77 p. ; 30 cm. (+ microfiche)	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Informatique, logique combinatoire	fr_FR
dc.subject	Lambda-calcul,	fr_FR
dc.title	Etude des réductions dans le lambda-calcul et la logique combinatoire	fr_FR
dc.type	Thesis	fr_FR