ModuRes

swMATH13122MaRDI QIDQ25039FDOQ25039

Author name not available (Why is that?)

Described by source

• ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages

Cited In (3)

• The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
• Lewis meets Brouwer: constructive strict implication

This page was built for software: ModuRes