Showing 1 - 1 results of 1 for search 'Jean-Marie Madiot', query time: 0.02s
Refine Results
-
1
Modular coinduction up-to for higher-order languages via first-order transition systems by Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
Published 2021-09-01
Article