„lambda-calculus“

Suchergebnisse

286 Treffer

• How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus
  Cerda, Rémy ; Vaux Auclair, Lionel 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Rewriting Theory for Quantum λ-Calculus
  Faggian, Claudia ; Lopez, Gaetan ; Valiron, Benoît 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Lambda Calculus Is Quantifiable
  Maestracci, Valentin ; Pistone, Paolo 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Simple Types for Probabilistic Termination
  Heijltjes, Willem ; Majury, Georgina 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact)
  Jacobs, Jules
• Semantic Bounds and Multi Types, Revisited
  Accattoli, Beniamino 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Ackermann Award 2023
  Fernández, Maribel ; Goubault-Larrecq, Jean ; Kesner, Delia 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Higher-Order Mathematical Operational Semantics (Early Ideas)
  Goncharov, Sergey ; Milius, Stefan ; Schröder, Lutz ; Tsampas, Stelios ; Urbat, Henning 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear Rank Intersection Types
  Reis, Fábio ; Alves, Sandra ; Florido, Mário 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Combinatory Logic and Lambda Calculus Are Equal, Algebraically
  Altenkirch, Thorsten ; Kaposi, Ambrus ; Šinkarovs, Artjoms ; Végh, Tamás 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Lattice of Program Metrics
  Dal Lago, Ugo ; Hoshino, Naohiko ; Pistone, Paolo 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Two Decreasing Measures for Simply Typed λ-Terms
  Barenbaum, Pablo ; Sottile, Cristian 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Functional Machine Calculus II: Semantics
  Barrett, Chris ; Heijltjes, Willem ; McCusker, Guy 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proofs and Refutations for Intuitionistic and Second-Order Logic
  Barenbaum, Pablo ; Freund, Teodoro 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Asymptotic Rewriting (Invited Talk)
  Faggian, Claudia 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Non-Deterministic Abstract Machines
  Biernacka, Małgorzata ; Biernacki, Dariusz ; Lenglet, Sergueï ; Schmitt, Alan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus
  Takahashi, Yuta 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Principal Types as Lambda Nets
  Di Gianantonio, Pietro ; Lenisa, Marina 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Zoo of Lambda-Calculus Reduction Strategies, And Coq
  Biernacka, Małgorzata ; Charatonik, Witold ; Drab, Tomasz 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear Lambda-Calculus is Linear
  Díaz-Caro, Alejandro ; Dowek, Gilles 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik