next up previous
Next: References Up: Towards Extensional Goals in Previous: Conclusion

Acknowledgements

I am very grateful to Anish Mathuria for many constructive critical comments.