Typed Lambda Calculi and Applications
8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Simona Ronchi Della Rocca
Themen in »Typed Lambda Calculi and Applications«
categorical methods deduction higher-order logic lambda calculus logic logical relations programming programming language programming theory proof proof theory reduction rewriting semantics sequent calculus
Stimmen zu »Typed Lambda Calculi and Applications«
Details
ISBN: 9783540732273
Verlag: Springer Berlin
Erscheinung: 15.06.2007