Typed Lambda Calculi and Applications
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Jean-Yves Girard
Themen in »Typed Lambda Calculi and Applications«
Counting commutative property complexity differential equation geometry lambda calculus logic proof semantics type theory
Stimmen zu »Typed Lambda Calculi and Applications«
Details
ISBN: 9783540489597
Verlag: Springer Berlin
Erscheinung: 31.07.2003