[kisoron-ml] models for univalence

11 May 2022


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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

[kisoron-ml] models for univalence