Inductive Construction of Repletion (1997)

Cached

Download Links

by Thomas Streicher , Fachbereich Mathematik , Th Darmstadt , D- Darmstadt
Venue:Appl. Categ. Structures
Citations:2 - 2 self