1![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮) Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮)](https://www.pdfsearch.io/img/34680e7bd257e084c42ad9f9e5c32968.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:43
|
---|
2![An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017
An adequacy theorem for partial type theory An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017
An adequacy theorem for partial type theory](https://www.pdfsearch.io/img/247701045539f39b6c9daa88535ace34.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2017-05-14 11:13:46
|
---|
3![E6(6) Exceptional Field Theory: Applications to Type IIB Supergravity on AdS5 ×S5 Arnaud Baguet ´ Ecole Normale Sup´ E6(6) Exceptional Field Theory: Applications to Type IIB Supergravity on AdS5 ×S5 Arnaud Baguet ´ Ecole Normale Sup´](https://www.pdfsearch.io/img/d6836941720ad65aeca81bb6bc57305a.jpg) | Add to Reading ListSource URL: www.ccsem.infn.itLanguage: English - Date: 2015-07-01 13:00:33
|
---|
4![Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds
Univalent Type Theory Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds
Univalent Type Theory](https://www.pdfsearch.io/img/255d048268218c6e8f7fdd7a70f7801f.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2016-08-05 03:49:47
|
---|
5![Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester, Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester,](https://www.pdfsearch.io/img/c8b6013fec9842a971b24b7f50550069.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2013-05-09 12:23:44
|
---|
6![Modelling Cubical Type Theory in Agda Modelling Cubical Type Theory in Agda](https://www.pdfsearch.io/img/5e485b9c97d3ecf549b26ebfcc583fbb.jpg) | Add to Reading ListSource URL: hott-uf.gforge.inria.frLanguage: English - Date: 2016-06-30 09:21:07
|
---|
7![Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015 Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015](https://www.pdfsearch.io/img/7658ce25b4fcb767872e6f50899ae479.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2015-09-28 09:04:32
|
---|
8![Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.io Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.io](https://www.pdfsearch.io/img/86aba39cc075790a1d19cf66ca7422b5.jpg) | Add to Reading ListSource URL: hott-uf.gforge.inria.frLanguage: English - Date: 2016-06-29 06:24:43
|
---|
9![Activity report of Sakir Ayik while he was visiting GANIL with FUSTIPEN support The self-consistent mean-field theory, also known as TDHF, by employing Skyrme-type effective interactions, has been very successful for de Activity report of Sakir Ayik while he was visiting GANIL with FUSTIPEN support The self-consistent mean-field theory, also known as TDHF, by employing Skyrme-type effective interactions, has been very successful for de](https://www.pdfsearch.io/img/9a989fa942e2c2365b8b9f20f03270fa.jpg) | Add to Reading ListSource URL: fustipen.ganil.frLanguage: English - Date: 2016-03-11 07:46:57
|
---|
10![2009 IEEE Information Theory Workshop Mutual Information and Posterior Estimates in Channels of Exponential Family Type Maxim Raginsky 2009 IEEE Information Theory Workshop Mutual Information and Posterior Estimates in Channels of Exponential Family Type Maxim Raginsky](https://www.pdfsearch.io/img/2ba0a6281a8a6d68f23d36ea077848b1.jpg) | Add to Reading ListSource URL: maxim.ece.illinois.eduLanguage: English - Date: 2012-04-18 12:07:52
|
---|