Dataset - CKAN

Name-passing calculi: from fusions to preorders and types

International audience
- HTML
Concurrent Programming as Proof Net Construction

Article dans revue scientifique avec comité de lecture.
- HTML

You can also access this registry using the API (see API Docs).