Publications Details

Publications / Conference Poster

Topos Semantics for Higher-order Temporal Logic of Actions

Hulette, Geoffrey; Aytac, Jon M.; Johnson-Freyd, Philip A.

Abstract not provided.