![]() | ![]() |
1993 | ||
---|---|---|
3 | Christian Attiogbé, Jean-Louis Durieux: Handling Interaction in Software Specification. VCHCI 1993: 155-171 | |
1988 | ||
2 | Jean-Louis Durieux, Emmanuel Saint-James: Une Charpente De Semi-Unification. ITA 22(2): 173-226 (1988) | |
1981 | ||
1 | Jean-Louis Durieux: Le Calcul des Fermetures dans les Lamda-Langages. ICFPC 1981: 268-279 |
1 | Christian Attiogbé | [3] |
2 | Emmanuel Saint-James | [2] |