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

39

click to vote

more ENTCS 2008 ...

www.cs.le.ac.uk

Tweet