## Nagayama, Misao

Compute Distance To:
 Author ID: nagayama.misao Published as: Nagayama, Misao
 Documents Indexed: 9 Publications since 1992 Co-Authors: 6 Co-Authors with 6 Joint Publications 164 Co-Co-Authors
all top 5

### Co-Authors

 3 single-authored 4 Okada, Mitsuhiro 1 Hirokawa, Sachio 1 Hyland, J. Martin E. 1 Komori, Yuichi 1 Power, John 1 Rosolini, Giuseppe

### Serials

 3 The Journal of Symbolic Logic 1 Studia Logica 1 Theoretical Computer Science 1 Bulletin of the Section of Logic 1 RIMS Kokyuroku

### Fields

 9 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX)

### Citations contained in zbMATH Open

5 Publications have been cited 15 times in 15 Documents Cited by Year
A category theoretic formulation for Engeler-style models of the untyped $$\lambda$$-calculus. Zbl 1276.03016
Hyland, Martin; Nagayama, Misao; Power, John; Rosolini, Giuseppe
2006
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. (Extended abstract). Zbl 0909.03046
1996
On a property of BCK-identities. Zbl 0799.06032
Nagayama, Misao
1994
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Zbl 1029.03054
2003
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics. Zbl 0994.03051
2001
A category theoretic formulation for Engeler-style models of the untyped $$\lambda$$-calculus. Zbl 1276.03016
Hyland, Martin; Nagayama, Misao; Power, John; Rosolini, Giuseppe
2006
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Zbl 1029.03054
2003
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics. Zbl 0994.03051
2001
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. (Extended abstract). Zbl 0909.03046
1996
On a property of BCK-identities. Zbl 0799.06032
Nagayama, Misao
1994
all top 5

### Cited by 25 Authors

 3 Manzonetto, Giulio 2 Hyland, J. Martin E. 2 Power, John 2 Ruoppolo, Domenico 1 Blok, Willem Johannes 1 Bonchi, Filippo 1 Breuvart, Flavien 1 Fiore, Marcelo P. 1 Galmiche, Didier 1 Gambino, Nicola 1 Garner, Richard 1 Guerrini, Stefano 1 Humberstone, Lloyd 1 Kanovich, Max Iosifovich 1 Komendantskaya, Ekaterina 1 Kuznetsov, Stepan L’vovich 1 McCusker, Guy Andrew 1 Morrill, Glyn V. 1 Nagayama, Misao 1 Notin, Jean-Marc 1 Okada, Mitsuhiro 1 Raftery, James G. 1 Santamaria, Alessio 1 Scedrov, Andre 1 Winskel, Glynn
all top 5

### Cited in 7 Serials

 3 Theoretical Computer Science 1 Studia Logica 1 International Journal of Algebra and Computation 1 Applied Categorical Structures 1 Selecta Mathematica. New Series 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming

### Cited in 5 Fields

 9 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 6 Category theory; homological algebra (18-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX)