5 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
José Espírito Santo, Ralph Matthes, Koji Nakazawa +1
We apply an idea originated in the theory of programming languages - monadic meta-language with a distinction between values and computations - in the design of a calculus of cut-e…