MPG.eBooks - Search Results - (symbol OR symbols)

Search alternatives:
symbol » symbolic
symbols » symbolics , symbolic

Cover Image

1

Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

by Abramsky, Samson
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Logic, Symbolic and mathematical...”