A Query Language Based on the Ambient Logic (2001)

by Luca Cardelli , Giorgio Ghelli
Citations:61 - 11 self