|
Project resources
This page contains links to various resources that are only
intended for members of The Church Project. If you feel that
something is missing, you can simply add it.
- J. B. Wells: Intersection Types Revisited in the Church Style (DVI file), June, 1996
- A note by Joe on
how to write intersection types in Church style.
- A guide to writing Church Project web pages
- A description of how change or add pages on The Church
Project's web pages.
|
