A Temporal Module for Logical Frameworks

Open in new window