302 articles – 345 references  [version française]
.:. Browse > List by year > 1995 .:.
1 document
On Equivalence Classes of Interpolation Equations
Padovani V.
Dans Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, UK, April 10-12, 1995, Proceedings - Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Royaume-Uni (1995) [hal-00527849 - version 1]