Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Duquesne, Eric"'
Autor:
Duquesne, Eric, van de Wiele, Jacques
Publikováno v:
[Research Report] RR-2416, INRIA. 1995
Projet PARA; The purpose of this article is to establish a new intrinsic characterization of the principal type schemes (or pts's for short) of the approximate normal $\lambda$-terms (or approximate normal forms). This is done by defining a correspon
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fee0cff86b0e96c0ab86a909980a6008
https://hal.inria.fr/inria-00074259/file/RR-2416.pdf
https://hal.inria.fr/inria-00074259/file/RR-2416.pdf
Autor:
Duquesne, Eric, Wiele, Jacques
Publikováno v:
Archive for Mathematical Logic; Feb1995, Vol. 34 Issue 1, p1-20, 20p
Autor:
Duquesne, Eric, Wiele, Jacques
Publikováno v:
Archive for Mathematical Logic; Mar1994, Vol. 33 Issue 2, p131-158, 28p