Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings<br />Author: Jean-Yves Girard<br /> P…

Open Typed Lambda Calculi and Applications on INTEXT (intextdb.com).