| Original language | English |
|---|---|
| Pages (from-to) | i-ii |
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 431 |
| DOIs | |
| Publication status | Published - 1 Jan 2025 |
| Event | 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2025 - Birmingham, United Kingdom Duration: 19 Jul 2025 → 19 Jul 2025 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver