Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base

Description

Thèse de doctorat : Informatique : Nancy 1 : 2008. / Titre provenant de l'écran-titre.

Links & Downloads

1. http://www.scd.uhp-nancy.fr/docnum/SCD_T_2008_0089_HINDERER.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/495243703
Date	January 2008
Creators	Hinderer, Sébastien Blackburn, Patrick
Publisher	S. l. : Nancy 1,
Source Sets	OCLC
Language	French
Detected Language	French