#goro kato

[mahometgrosporc]

Temporal type theory

https://arxiv.org/pdf/1710.10258.pdf

Une nouvelle avancée de HoTT, dans la ligne de la théorie des t-topos de Goro Kato

http://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=1099&context=math_fac

J’indique juste le lien, il est clair que toute cette masse de travaux réclame un énorme travail de suivi, ce n’est qu’à cette condition qu’une Science internelle pourra véritablement voir le…

View On WordPress

[graal813]

Temporal type theory

https://arxiv.org/pdf/1710.10258.pdf

Une nouvelle avancée de HoTT, dans la ligne de la théorie des t-topos de Goro Kato

http://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=1099&context=math_fac

J’indique juste le lien, il est clair que toute cette masse de travaux réclame un énorme travail de suivi, ce n’est qu’à cette condition qu’une Science internelle pourra véritablement voir le…

View On WordPress

[topos318]

Temporal type theory

https://arxiv.org/pdf/1710.10258.pdf Une nouvelle avancée de HoTT, dans la ligne de la théorie des t-topos de Goro Kato http://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=1099&context=math_fac J’indique juste le lien, il est clair que toute cette masse de travaux réclame un énorme travail de suivi, ce n’est qu’à cette condition qu’une Science internelle pourra véritablement voir le…

View On WordPress