6 citations · 15 across the 8 of their papers we have counts for
1 paper · 1 filter
Wen Kokke
In recent years, the interest in using proof assistants to formalise and reason about mathematics and programming languages has grown. Type-logical grammars, being closely related…