RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

Une généralisation de la théorie des types en $\lambda $-calcul (II)

Patrick Sallé

RAIRO. Inform. théor., 14 3 (1980) 301-314

Published online: 01 February 2017

DOI: 10.1051/ita/1980140303011

This search tool will display articles in Google Scholar database by authors of the selected article:

Select your author(s):

Patrick Sallé

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)