DMCA

Name-passing calculi: from fusions to preorders and types (Appendix)

by Daniel Hirschkoff , Jean-marie Madiot , Davide Sangiorgi
Citations:3 - 2 self