Compositional Non-termination without Fuel

Gregory Malecha

coq coinduction denotational semantics

paper

Citation (BibTex)

@inproceedings{malecha-nontermination,
  title={Compositional {N}on-termination without {F}uel},
  authors={Gregory Malecha},
  year={2018},
  month=Aug,
  conference={NEPLS'18},
  location={Cambridge, MA, USA}
}