Return to search

Logiques, catégories et machines : implantation de langages de programmation guidée par la logique catégorique /

Th. univ.--Informatique--Paris VII, 1988. / Bibliogr. p. 123-124.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/461916426
Date January 1988
CreatorsLafont, Yves,
Publisher[Le Chesnay] : [Institut national de recherche en informatique et en automatique],
Source SetsOCLC
LanguageFrench
Detected LanguageFrench

Page generated in 0.0018 seconds