Inproceedings,

Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem.

, and .
CTCS, volume 69 of Electronic Notes in Theoretical Computer Science, page 156-182. Elsevier, (2002)

Meta data

Tags

Users

  • @dblp

Comments and Reviews