Barry Jay's Home Page

Personal Details

Research Interests

Introduction
Shape Theory
Loops
Order Enriched Categories
Internal Languages
Lecture Notes

Research Publications

Research Papers
Abstracts of Papers
Bibliography (Bibtex Format)

FISh

Announcement
The Latest Paper on FISh
FISh v1.0 Distribution
FISh Tutorial
Ready Reference
Sample Programs
Benchmarks