40 citations · 98 across the 22 of their papers we have counts for
1 paper · 1 filter
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…