Temporal refinements for guarded recursive types

From MaRDI portal
Publication:2233479

DOI10.1007/978-3-030-72019-3_20zbMath1473.68047OpenAlexW3043298057MaRDI QIDQ2233479

Guilhem Jaber, Colin Riba

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-72019-3_20




Related Items (1)



Cites Work




This page was built for publication: Temporal refinements for guarded recursive types