Edit Profile Nagai, Tomoharu Compute Distance To: Compute Author ID: nagai.tomoharu Published as: Nagai, T.; Nagai, Tomoharu Documents Indexed: 4 Publications since 1975 Co-Authors 0 single-authored 1 Nakazawa, Koji Serials Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 2 times in 2 Documents Cited by ▼ Year ▼ Reduction system for extensional lambda-mu calculus. Zbl 1417.03133Nakazawa, Koji; Nagai, Tomoharu 2 2014 Reduction system for extensional lambda-mu calculus. Zbl 1417.03133Nakazawa, Koji; Nagai, Tomoharu 2 2014 Cited by 5 Authors 1 Ariola, Zena M. 1 Downen, Paul 1 Fujita, Ken-etsu 1 Johnson-Freyd, Philip 1 Nakazawa, Koji Cited in 2 Serials 1 Studia Logica 1 Journal of Functional Programming Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year