View in EDS HTML Full Text PDF Full Text

Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq.

Saved in:

Bibliographic Details
Title:	Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq.
Authors:	CHAPPE, NICOLAS¹ (AUTHOR), HE, PAUL² (AUTHOR), HENRIO, LUDOVIC³ (AUTHOR), IOANNIDIS, ELEFTHERIOS⁴ (AUTHOR), ZAKOWSKI, YANNICK⁵ (AUTHOR), ZDANCEWIC, STEVE⁴ (AUTHOR)
Source:	Journal of Functional Programming. 2025, Vol. 35, p1-61. 61p.
Database:	Mathematics Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09567968
DOI:	10.1017/S0956796825100105