Return to Answer

replaced http://front.math.ucdavis.edu/ with https://arxiv.org/abs/

Source Link

edited Jun 22, 2022 at 7:16

1
2
3

I haven't read any of these but they might be useful:

Some notes of Frank Pfenning.

A paper of Wirth paper of Wirth.

Source Link

created Oct 18, 2009 at 12:48

Andreas Holmstrom

5.6k
5
41
62

I haven't read any of these but they might be useful:

Some notes of Frank Pfenning.

A paper of Wirth.