Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Martin Hofmann
Themen in »Typed Lambda Calculi and Applications«
Coq categorical methods computational logic deduction lambda calculus logic logical relations program logics program semantics programming calculi programming theory proof semantics sequent calculus type systems
Stimmen zu »Typed Lambda Calculi and Applications«
Details
ISBN: 9783540403326
Verlag: Springer Berlin
Erscheinung: 27.05.2003