• 10 Citations
  • 2 h-Index
19962006

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Masaru Shirahata is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Research Output

  • 10 Citations
  • 2 h-Index
  • 2 Article

The Dialectica interpretation of first-order classical affine logic

Shirahata, M., 2006 Dec 16, In : Theory and Applications of Categories. 17, p. 49-79 31 p.

Research output: Contribution to journalArticle

  • A linear conservative extension of zermelo-fraenkel set theory

    Shirahata, M., 1996 Jan 1, In : Studia Logica. 56, 3, p. 361-392 32 p.

    Research output: Contribution to journalArticle

  • 3 Citations (Scopus)