Back to Results
First PageMeta Content
Partial equivalence relation / Function / Equivalence relation / Finitary relation / Lambda calculus / Binary relation / Total order / Implementation of mathematics in set theory / Preorder / Mathematics / Mathematical logic / Order theory


Making functionality more general Graham Hutton, University of Glasgow Ed Voermans, Eindhoven University of Technology∗ March 23, 1992 Abstract
Add to Reading List

Document Date: 2014-10-13 11:19:47


Open Document

File Size: 169,78 KB

Share Result on Facebook
UPDATE