Résultats de confluence pour les règles fortes de la logique combinatoire catégorique et liens avec les lambda-calculs /

Description

Th.--Informatique--Paris 7, 1987. / 1988 d'après la déclaration de dépôt légal. Bibliogr. p. 233-237. Index. Résumé en français.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb349323143

Tags

Lambda-calcul. Logique combinatoire.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/461922090
Date	January 1900
Creators	Hardin-Accart, Thérèse,
Publisher	Le Chesnay : Institut national de recherche en informatique et en automatique,
Source Sets	OCLC
Language	French
Detected Language	French