* PhD Thesis
@ 2018-04-24 19:29 Jean Joseph
2018-04-26 21:03 ` Jean Joseph
0 siblings, 1 reply; 2+ messages in thread
From: Jean Joseph @ 2018-04-24 19:29 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 145 bytes --]
I recently defended my thesis.
See https://drive.google.com/file/d/145at-xLmOpIQlgf1UEiTu7zaGHADme2I/view?usp=sharing.
Comments are welcome.
[-- Attachment #1.2: Type: text/html, Size: 202 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2018-04-26 21:03 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-04-24 19:29 PhD Thesis Jean Joseph
2018-04-26 21:03 ` Jean Joseph
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).