5 citations · 5 across the 1 of their papers we have counts for
1 paper
Koji Nakazawa, Shin-ya Katsumata
This paper proposes new mathematical models of the untyped Lambda-mu calculus. One is called the stream model, which is an extension of the lambda model, in which each term is inte…