„Lambda nets“
Suchergebnisse
6 Treffer
-
Principal Types as Lambda Nets
-
Normalization Without Syntax
-
Strong Bisimulation for Control Operators (Invited Talk)
-
Is the Optimal Implementation Inefficient? Elementarily Not
-
Typed Lambda Calculi and Applications – 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
-
Typed lambda calculi and applications – 10th international conference ; proceedings