Home Research Papers Research Talks Others 日本語ノート

← Back to Talks

Categorical logic meets double categories

CT 2025

PDF Related paper

Hayato Nasu — PhD student, Dalhousie University  ·  hnasu [at] dal.ca This website is built and maintained with the help of Claude (Anthropic). © Hayato Nasu