Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Reus, Bernhard (1999) Extensional Σ-spaces in type theory. Applied Categorical Structures, 7 (1-2). pp. 159-183. ISSN 0927-2852

This list was generated on Sat Nov 18 19:09:57 2017 GMT.