„typed lambda calculus“

Suchergebnisse

1.000+ Treffer

• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• A Note on Logical PERs and Reducibility. Logical Relations Strike Again!
  Gallier, Jean H. 2024 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
• Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus
  Takahashi, Yuta 2022 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
• 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
• Normalization by Evaluation for Typed Weak lambda-Reduction
  Sestini, Filippo 2019 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
• Higher-Order Equational Pattern Anti-Unification
  Cerna, David M. ; Kutsia, Temur 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Dinaturality, Typability and beta-eta-Stable Models
  Pistone, Paolo 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
  Akama, Yohji 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Models of Lambda-Calculus and the Weak MSO Logic
  Parys, Pawel ; Torunczyk, Szymon 2016 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
• Evaluation is MSOL-compatible
  Salvati, Sylvain ; Walukiewicz, Igor 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
• Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus
  Terui, Kazushige 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Relating Two Semantics of Locally Scoped Names
  Lösch, Steffen ; Pitts, Andrew M. 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Realizing the Dependently Typed Lambda Calculus
  Snow, Zachary 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin