Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Timothy Porter



  • John has cross posted this on the N-Cat Café and I have added a comment there that might be of use. This is lovely stuff to teach and my comment includes some links to notes that i used to use when I taught this in Bangor years ago. It is highly rel…
  • I have found the reference: J. Gratus, T. Porter / Theoretical Computer Science 365 (2006) 206 – 215, in case that is useful to someone.
  • John. There was a Dagstuhl meeting back in ?2004 at which there were people working on FCA and also on Chu spaces, domains etc.(I think the reference was Spatial Representation: Discrete vs. Continuous Computational Models, Dagstuhl Seminar Proceedi…