Title: Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /
Authors: Middeldorp, Aart, 1963-
Publisher: Springer,
Year: 2005
Subjects: Klop, J. W.; Rewriting systems (Computer science); Lambda calculus.; Processes, Infinite.