Rchr
J-GLOBAL ID:201801009508866181   Update date: Mar. 29, 2019

Yuki Nishimuta

Yuki Nishimuta
Affiliation and department:
Research field  (3): Philosophy/Ethics ,  Theory of informatics ,  Foundations of mathematics/Applied mathematics
Research keywords  (7): Type theory ,  Mathematical Logic ,  Category Theory ,  Proof Theory ,  Lambda Calculus ,  Logical Connectives ,  Linear Logic
Papers (1):
  • Yuki Nishimuta. Categorical theory of computation: 2-categorical logic, lambda calculus and term rewriting system. 2015
Lectures and oral presentations  (17):
  • Towards a category model for proof rewriting
    (ラムダ計算と論理の早春セミナー 2016)
  • シーケント化定理が成り立たない乗法的論理結合子について
    (科学基礎論学会 2016)
  • Some remarks on introduction of generalized multiplicative connectives
    (CNRS-PICS Meeting on Philosophy of Logic 2016)
  • ジラールの統合的論理結合子に対する構文論的考察
    (日本科学哲学会 2017)
  • On introduction rules of generalized connectives with proof-nets and substructural logics
    (Philosophy of Logic and mathematics -Towards Philosophy of Proofs 2017)
more...
Work history (1):
  • 2018/04 - 2019/03 Keio University
Association Membership(s) (2):
PHILOSOPHY OF SCIENCE SOCIETY, JAPAN ,  JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page