Edit Profile (opens in new tab) Nagai, Tomoharu Co-Author Distance Author ID: nagai.tomoharu Published as: Nagai, Tomoharu Documents Indexed: 4 Publications since 1975 Co-Authors: 1 Co-Author with 1 Joint Publication 16 Co-Co-Authors Co-Authors 1 single-authored 1 Kamiya, Norio 1 Kita, Eisuke 1 Nakazawa, Koji Serials 1 Theory of Probability and its Applications 1 Advances in Engineering Software and Workstations Fields 2 Mechanics of deformable solids (74-XX) 1 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼ Reduction system for extensional lambda-mu calculus. Zbl 1417.03133Nakazawa, Koji; Nagai, Tomoharu 3 2014 Reduction system for extensional lambda-mu calculus. Zbl 1417.03133Nakazawa, Koji; Nagai, Tomoharu 3 2014 all top 5 Cited by 6 Authors 2 Fujita, Ken-etsu 2 Nakazawa, Koji 1 Ariola, Zena M. 1 Downen, Paul 1 Imagawa, Yuta 1 Johnson-Freyd, Philip Cited in 3 Serials 1 Studia Logica 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Functional Programming Cited in 2 Fields 2 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year