Searching for "Presheaves as Configured Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Presheaves as Configured Specifications
by Steven Vickers, Gillian Hill — 1999
…Formal Aspects of Computing (1999) 3: 1-000 c 1999 BCS Presheaves as Congured Specications…
Cited by 1 (0 self) – Add To MetaCart

Presheaves as Configured Specifications
by Presheaves As Con Gured, Gillian Hill, Steven Vickers
…Under consideration for publication in Formal Aspects of Computing Presheaves as Congured…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB