Author books / Книги автора Andreas Abel (auth.) Martin Hofmann (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Andreas Abel (auth.) Martin Hofmann (eds.)

book Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

pdf

Author: Andreas Abel (auth.) Martin Hofmann (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

pdf

Author: Andreas Abel (auth.) Martin Hofmann (eds.)
Language: English
Year: 2003

00

26.01.2024

1

0