Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming.

Wolfgang Jeltsch

Published in: MFPS (2012)

Keyphrases

linear time temporal logic
modal operators
reactive systems
programming language
functional language
logic programming
temporal logic
natural deduction
artificial intelligence
general purpose
categorical data
cut elimination