On the Semantic Expressiveness of Iso- and Equi-Recursive Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dominique Devriese, Eric Mark Martin, Marco Patrignani. On the Semantic Expressiveness of Iso- and Equi-Recursive Types. Logical Methods in Computer Science, 20(4), October - December 2024. [doi]

This author has not been identified. Look up 'Dominique Devriese' in GoogleThis author has not been identified. Look up 'Eric Mark Martin' in GoogleThis author has not been identified. Look up 'Marco Patrignani' in Google

runs on WebDSL