Skip to Content


Linear Naming and Computation ( Visit this link)

A distributed research group associated with the Church Project working on the design and implementation of new forms of procedure calling protocols based on the notion of linear naming, together with relevant supporting formal tools and implementation technology.

Review It Rate It Bookmark It

Site Preview


Alexa Traffic Graph


Reviews

No reviews.