Misao Nagayama

Available identifiers

zbMath Open nagayama.misaoMaRDI QIDQ1327481

List of research outcomes

Publication	Date of Publication	Type
A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus	2013-12-04	Paper
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic	2003-07-29	Paper
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics	2002-10-08	Paper
A lambda proof of the P-W theorem	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4489072	2001-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4252650	1999-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4222840	1998-12-14	Paper
On a property of BCK-identities	1994-07-12	Paper
On Boolean algebras and integrally closed commutative regular rings	1993-04-01	Paper

Research outcomes over time

This page was built for person: Misao Nagayama