Driving in the jungle (0)

by J P Secher
Venue:Programs as Data Objects. Proceedings, LNCS 2053, 198–217. Springer-Verlag, 2001. Fair Language with Built-in Equality 93