Publisher
Springer International Publishing
Reference23 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998). https://doi.org/10.1145/356458.1008651
2. Baez, J.C., Stay, M.: Physics, topology, logic and computation: a Rosetta stone. Arxiv/abs/0903.0340 (2009). https://doi.org/10.1007/978-3-642-12821-9_2. http://math.ucr.edu/home/baez/rosetta.pdf
3. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1981). https://doi.org/10.2307/2274112
4. Coecke, B.: Quantum links let computers read. New Scientist, December 2010. http://www.cs.ox.ac.uk/people/bob.coecke/NewScientist.pdf
5. Hodges, W.: A Shorter Model Theory. Cambridge University Press, Cambridge (1997). https://doi.org/10.5555/262326