Nicola LeFanu
Results: 2
| # | Item |
|---|---|
1 | THE UNIVALENCE AXIOM AND FUNCTIONAL EXTENSIONALITY TALK BY NICOLA GAMBINO; NOTES BY C. KAPULKIN, P. LEF. LUMSDAINE These notes were taken and LATEX’d by Chris Kapulkin and Peter LeFanu Lumsdaine, from Nicola Gambino’Add to Reading ListSource URL: www.pitt.eduLanguage: English - Date: 2012-03-15 14:09:14 |
2![Chapter 1 Introduction I first met David Lumsdaine in November[removed]I had travelled from my home in Sydney’s South to Cremorne, on the Lower North Shore, hoping to interview](https://www.pdfsearch.io/img/d33a4e075538d12721e6cedf0ebc684e.jpg "Chapter 1 Introduction I first met David Lumsdaine in November[removed]I had travelled from my home in Sydney’s South to Cremorne, on the Lower North Shore, hoping to interview") | Chapter 1 Introduction I first met David Lumsdaine in November[removed]I had travelled from my home in Sydney’s South to Cremorne, on the Lower North Shore, hoping to interviewAdd to Reading ListSource URL: www.ashgate.comLanguage: English - Date: 2012-08-03 07:26:37 |