This special issue of Logical Methods in Computer Science contains extended and revised versions of selected papers from the Conference on Typed Lambda Calculi and Applications (TLCA '09), held in Brasilia, Brazil, on July 1-3, 2009. All submissions for this special issue underwent a new reviewing process, in accordance with the usual high standards of LMCS.
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009"
PAOLINI, LUCA LUIGI
2012-01-01
Abstract
This special issue of Logical Methods in Computer Science contains extended and revised versions of selected papers from the Conference on Typed Lambda Calculi and Applications (TLCA '09), held in Brasilia, Brazil, on July 1-3, 2009. All submissions for this special issue underwent a new reviewing process, in accordance with the usual high standards of LMCS.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
