„lambda-calculus“

Suchergebnisse

286 Treffer

• Modelling Coeffects in the Relational Semantics of Linear Logic
  Breuvart, Flavien ; Pagani, Michele 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Model for Behavioural Properties of Higher-order Programs
  Salvati, Sylvain ; Walukiewicz, Igor 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extensionality of lambda-*
  Polonsky, Andrew 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Structure of Classical Realizability Models of ZF
  Krivine, Jean-Louis 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomial Time in the Parametric Lambda Calculus
  Redmond, Brian F. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Standardization of a Call-By-Value Lambda-Calculus
  Guerrieri, Giulio ; Paolini, Luca ; Ronchi Della Rocca, Simona 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Curry-Howard for Sequent Calculus at Last!
  Espírito Santo, José 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting
  Assaf, Ali 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finitary Corecursion for the Infinitary Lambda Calculus
  Milius, Stefan ; Wißmann, Thorsten 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Isomorphism of "Functional" Intersection Types
  Coppo, Mario ; Dezani-Ciancaglini, Mariangiola ; Margaria, Ines ; Zacchi, Maddalena 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Simply Numbered Lambda Calculus
  Steimann, Friedrich 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reasoning About Paths in the Interface Graph
  Greenberg, Michael 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Renamingless Capture-Avoiding Substitution for Definitional Interpreters
  Bach Poulsen, Casper 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Evaluation is MSOL-compatible
  Salvati, Sylvain ; Walukiewicz, Igor 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Böhm Trees as Higher-Order Recursive Schemes
  Clairambault, Pierre ; Murawski, Andrzej S. 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Intersection Types for Normalization and Verification (Invited Talk)
  Terui, Kazushige 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A New Type Assignment for Strongly Normalizable Terms
  Statman, Rick 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus
  Kikuchi, Kentaro 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Innocent Game Semantics via Intersection Type Assignment Systems
  Di Gianantonio, Pietro ; Lenisa, Marina 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A characterization of the Taylor expansion of lambda-terms
  Boudes, Pierre ; He, Fanny ; Pagani, Michele 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik