MPG.eBooks - Search Results - "translators"

Search alternatives:
"translators" » "translator", "translations", "transistors"

Cover Image

1

Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... and Complete CPS-Translation for ??-Calculus -- Abstraction Barrier-Observing Relational Parametricity...”