Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
Format: paperback
ISBN:
9783540657637 (3540657630)
Publish date: March 24th 1999
Publisher: Springer
Pages no: 404
Edition language: English