C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs.
Alan Jeffrey
Published in:
PLPV (2012)
Keyphrases
</>
linear time temporal logic
model checking
machine learning
expert systems
orders of magnitude
natural deduction