IAS - PDFSEARCH.IO - Document Search Engine

IAS
Results: 4542

#	Item
171	Lecture Notes in Mathematics A collection of informal reports and seminars Edited by A. Dold, Heidelberg and B. Eckmann, Z(Jrich 163 Add to Reading List Source URL: publications.ias.edu - Date: 2012-07-06 11:29:29
172	PDF Document Add to Reading List Source URL: www.sss.ias.edu - Date: 2012-03-30 11:42:43
173	PDF Document Add to Reading List Source URL: www.ias.ac.ir - Date: 2016-10-30 05:47:24
174	From natural numbers to the lambda calculus Benedikt Ahrens joint work with Ralph Matthes and Anders Mörtberg Outline Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:23:13
175	Custom definitional equalities in Agda Guillaume Brunerie Université de Nice/Institute for Advanced Study July 14, 2015 ICMS 2016, Berlin Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-30 01:41:10
176	The Jones Polynomial And Khovanov Homology From Gauge Theory Edward Witten, IAS Lecture at SCGP, June 1, 2015 Add to Reading List Source URL: media.scgp.stonybrook.edu - Date: 2015-06-01 18:42:24
177	INSTITUTE L E T T E R THE INSTITUTE FOR ADVANCED STUDY Add to Reading List Source URL: www.ias.edu - Date: 2015-10-02 12:59:36
178	Why cubical type theory? Thorsten Altenkirch jww Ambrus Kaposi University of Nottingham ICMS, Berlin Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:33:53
179	<4D6963726F736F667420576F7264202D20C2EDEDE420E4C7E3E520C7E4CACEC7C820818EE6E5D490D120C8D1CCD3CAE520CCE6C7E4> Add to Reading List Source URL: www.ias.ac.ir - Date: 2016-10-30 09:46:07
180	Exploiting Uniformity in Substitution: the Nuprl Term Model Abhishek Anand Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:43:39

UPDATE