12 citations · 56 across the 23 of their papers we have counts for
1 paper · 2 filters
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi. Generalising the…