„lambda-calculus“

Suchergebnisse

286 Treffer

• Normalization Without Syntax
  Heijltjes, Willem B. ; Hughes, Dominic J. D. ; Straßburger, Lutz 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solvability for Generalized Applications
  Kesner, Delia ; Peyrot, Loïc 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strategies for Asymptotic Normalization
  Faggian, Claudia ; Guerrieri, Giulio 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Quantitative Algebraic Higher-Order Theories
  Dal Lago, Ugo ; Honsell, Furio ; Lenisa, Marina ; Pistone, Paolo 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Self-Dual Distillation of Session Types
  Jacobs, Jules 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Useful Open Call-By-Need
  Accattoli, Beniamino ; Leberle, Maico 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Separating Sessions Smoothly
  Fowler, Simon ; Kokke, Wen ; Dardha, Ornela ; Lindley, Sam ; Morris, J. Garrett 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analytical Differential Calculus with Integration
  Xu, Han ; Hu, Zhenjiang 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Church’s Semigroup Is Sq-Universal
  Statman, Rick 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• λ-Based Object-Oriented Programming (Pearl)
  Servetto, Marco ; Zucca, Elena 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus
  Forster, Yannick ; Kunze, Fabian ; Smolka, Gert ; Wuttke, Maximilian 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Λ-Symsym: An Interactive Tool for Playing with Involutions and Types
  Honsell, Furio ; Lenisa, Marina ; Scagnetto, Ivan 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic
  Espírito Santo, José ; Matthes, Ralph ; Pinto, Luís 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Deep Quantitative Type System
  Guerrieri, Giulio ; Heijltjes, Willem B. ; Paulus, Joseph W.N. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Factorize Factorization
  Accattoli, Beniamino ; Faggian, Claudia ; Guerrieri, Giulio 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Difference λ-Calculus: A Language for Difference Categories
  Alvarez-Picallo, Mario ; Ong, C.-H. Luke 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Reflection on Continuation-Composing Style
  Biernacki, Dariusz ; Pyzik, Mateusz ; Sieczkowski, Filip 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solvability in a Probabilistic Setting (Invited Talk)
  Ronchi Della Rocca, Simona ; Dal Lago, Ugo ; Faggian, Claudia 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Call-By-Value Lambda-Calculus with Generalized Applications
  Espírito Santo, José 2020 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