1 |
What Does This Notation Mean Anyway? ; What Does This Notation Mean Anyway?: MBNF-Style Notation as it is Actually Used
|
|
|
|
In: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice ; https://hal.inria.fr/hal-01812800 ; 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom (2018)
|
|
BASE
|
|
Show details
|
|
|
|