<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-01-12 03:38:24Topology Functional analysis General topology Theory of computation Descriptive set theory Computable analysis Computable function Mathematical analysis Baire space Mathematics Mathematical logic Computability theory |
Add to Reading List |
Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical![arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno Pauly](https://www.pdfsearch.io/img/931faa11999bb5e62c13de7cf5af35fb.jpg "arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno Pauly") | arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno PaulyDocID: 1sRZe - View Document |
 | A brief introduction to Higher Order Logic and the HOL proof assistant Monica NesiDocID: 1rjEK - View Document |
 | Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ AbstractDocID: 1qlxM - View Document |
 | PDF DocumentDocID: 1pZ37 - View Document |
 | A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009DocID: 1pMn0 - View Document |