„Lambda nets“

Suchergebnisse

6 Treffer

• Principal Types as Lambda Nets
  Di Gianantonio, Pietro ; Lenisa, Marina 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Normalization Without Syntax
  Heijltjes, Willem B. ; Hughes, Dominic J. D. ; Straßburger, Lutz 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strong Bisimulation for Control Operators (Invited Talk)
  Kesner, Delia ; Bonelli, Eduardo ; Viso, Andrés 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Is the Optimal Implementation Inefficient? Elementarily Not
  Guerrini, Stefano ; Solieri, Marco 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Typed Lambda Calculi and Applications – 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
  Ong, Luke 2011 Springer Berlin Heidelberg
• Typed lambda calculi and applications – 10th international conference ; proceedings
  Ong, Luke 2011 Springer