Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem (0)

by J Hughes, B Jacobs
Venue:Electron. Notes Theor. Comput. Sci