Next:
References
Up:
Towards Extensional Goals in
Previous:
Conclusion
Acknowledgements
I am very grateful to Anish Mathuria for many constructive critical comments.