Indexed Flows in Temporal x Modal Logic with Functional Semantics.

Alfredo Burrieza, Inman P. de Guzmn, Emilio Muoz-Velasco

Browse the full TIME paper archive.