18 citations · 100 across the 22 of their papers we have counts for
1 paper · 1 filter
Roland Axelsson, Martin Lange, Rafal Somla
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal λ-calculus. This makes it a highly expressive temporal logic that is capable of expressin…