nLab
Gordon Plotkin

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |
Created on September 7, 2012 10:07:04 by Tim Porter (95.147.237.101)
Edit | Views: Print | TeX | Source | Linked from: computer science, generalisation as an adjunction