Logical and Semantic Frameworks with Applications

Vivek Nigam and René Thiemann

Theor. Comput. Sci., 781:1–2

2019 · doi:10.1016/j.tcs.2019.05.023

url:https://doi.org/10.1016/j.tcs.2019.05.023