Pierre-Louis Curien

Typed Lambda Calculi And Applications 9th International Conference Tica 2009 Brasilia Brazil July 13 2009 Proceedings