Bob Atkey
Results
3
comments of
Bob Atkey
A cheap and cheerful way of doing this would be to link to DBLP's record for each paper's bibtex. E.g., [http://dblp.uni-trier.de/rec/bibtex/journals/jfp/Atkey09]
Thanks! will fix.
> @MatthewDaggitt while that looks interesting, it doesn't seem to contain a full definition of real numbers, and isn't using O'Connor style reals (so far). Not everything is finished (esp...