Logical Methods in Computer Science

HOME

SPECIAL ISSUE:
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009" (in progress)
Brasilia, Brazil, 2009

Preface


Papers are published immediately after acceptance. Currently this special issue in process.