Amalgams: Names and Name Capture in a Declarative Framework (1998)

by Olivier Michel , Jean-Louis Giavitto
Citations:2 - 1 self