111956

References

Lawrence S. Moss

Applied logic: a manifesto

2006

in: Mathematical problems from applied logic I, Dordrecht : Springer

Open Access Link
Uniform functors on sets

2006

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link