Difference between revisions of "Initial Algebra Semantics in Matching Logic"

From FSL
Jump to: navigation, search
(Created page with "<private> == POPL 2020 Submission == <pubbib id='chen-lucanu-rosu-2021-popl-submission' template='PubDefaultWithAbstractAndTitle'/> </private>")

Revision as of 03:57, 17 July 2020

Personal tools
Namespaces

Variants
Actions
Navigation