de Vries, In lambda calculus, Theoret (1997)

by J R Kennaway, J W Klop, M R Sleep, F J
Venue:Comput. Sci