Kyoto Japan / KU RIMS D1, CS group/ Math, Categorical Logic (or Logical Category Theory?), Type theory

ID: 1467669087631593472

calendar_today06-12-2021 01:36:14