[logic-ml] Type theoretical approaches to opetopes

16 Sep 2022


      次の論文をreviewしましたので、
    御案内しておきます。
https://zbmath.org/pdf/07567918.pdf
にしむら
   https://www.researchgate.net/profile/Hirokazu-Nishimura
https://www.youtube.com/watch?v=HZpVIi3IWhs&list=RDHZpVIi3IWhs&start...

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

[logic-ml] Type theoretical approaches to opetopes