Functorial Coalgebraic Logic: The Case of Many-sorted Varieties - Sciweavers

38

click to vote

more ENTCS 2008 ...

www.cs.le.ac.uk

Tweet