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 Mar 25 06:10:03 2017 GMT.