302 articles – 345 references  [version française]
.:. Browse > List by authors > Arbiser .:.
1 document
fulltext access A lambda-calculus with constructors
Arbiser A., Miquel A., Ríos A.
Dans Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - RTA'06, États-Unis (2006) [hal-00150884 - version 1]