„lambda-calculus“

Suchergebnisse

286 Treffer

• A Certifying Extraction with Time Bounds from Coq to Call-By-Value Lambda Calculus
  Forster, Yannick ; Kunze, Fabian 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Differential Logical Relations, Part I: The Simply-Typed Case (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Dal Lago, Ugo ; Gavazzo, Francesco ; Yoshimizu, Akira 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Delta-calculus: Syntax and Types
  Liquori, Luigi ; Stolze, Claude 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus
  Kašterović, Simona ; Pagani, Michele 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms
  Faggian, Claudia 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modal Embeddings and Calling Paradigms
  Espírito Santo, José ; Pinto, Luís ; Uustalu, Tarmo 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• lambda!-calculus, Intersection Types, and Involutions
  Ciaffaglione, Alberto ; Di Gianantonio, Pietro ; Honsell, Furio ; Lenisa, Marina ; Scagnetto, Ivan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proof Normalisation in a Logic Identifying Isomorphic Propositions
  Díaz-Caro, Alejandro ; Dowek, Gilles 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Generic Framework for Higher-Order Generalizations
  Cerna, David M. ; Kutsia, Temur 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus
  Bendkowski, Maciej 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Fresh Look at the lambda-Calculus (Invited Talk)
  Accattoli, Beniamino 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Normalization by Evaluation for Typed Weak lambda-Reduction
  Sestini, Filippo 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Simpler Undecidability Proof for System F Inhabitation
  Dudenhefner, Andrej ; Rehof, Jakob 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Delta-Framework
  Honsell, Furio ; Liquori, Luigi ; Stolze, Claude ; Scagnetto, Ivan 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered
  Asada, Kazuyuki ; Kobayashi, Naoki 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fully Abstract Models of the Probabilistic lambda-calculus
  Clairambault, Pierre ; Paquet, Hugo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Combining Linear Logic and Size Types for Implicit Complexity
  Baillot, Patrick ; Ghyselen, Alexis 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Homogeneity Without Loss of Generality
  Parys, Pawel 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Repetitive Right Application of B-Terms
  Ikebuchi, Mirai ; Nakano, Keisuke 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Higher-Order Equational Pattern Anti-Unification
  Cerna, David M. ; Kutsia, Temur 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik