Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Hi. I found myself :) Thanks for this page. I replaced the links to the recently removed page at Royal Holloway to link to my permanent home page dusko.org. There are in the meantime I think more important publications on arxiv, and the LICS 1998 paper on Calculus in coainductive form with Martin Escardo is cited a lot, but you’ll probably know better whether any of that is really of interest :) – dusko
dusko
You’d do us a favor by helping out with adding further of your publications.
1 to 2 of 2