Finiteness spaces
From LLWiki
(Difference between revisions)
Lionel Vaux (Talk | contribs) (Alias for Finiteness semantics) |
Latest revision as of 16:36, 6 July 2009
- REDIRECTFiniteness semantics
Lionel Vaux (Talk | contribs) (Alias for Finiteness semantics) |