Définitions par réécriture dans le lambda-calcul confluence, réductibilité et typage /

Description

Thèse de doctorat : Informatique : INPL : 2007. / Titre provenant de l'écran-titre.

Links & Downloads

1. http://www.scd.inpl-nancy.fr/theses/2007_RIBA_C.pdf

Tags

Logique combinatoire Lambda-calcul

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/495202397
Date	January 2007
Creators	Riba, Colin Kirchner, Claude Blanqui, Frédéric
Publisher	S. l. : INPL,
Source Sets	OCLC
Language	French
Detected Language	French