Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.

Richard Dapoigny, Patrick Barlatier

Browse the full ISMIS paper archive.