„Normalization“

Suchergebnisse

1.872 Treffer

• Coherence by Normalization for Linear Multicategorical Structures
  Olimpieri, Federico 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Irrelevancy-Eliminating Translation of Pure Type Systems
  Mull, Nathan 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Classical Natural Deduction from Truth Tables
  Geuvers, Herman ; Hurkens, Tonny 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• For the Metatheory of Type Theory, Internal Sconing Is Enough
  Bocquet, Rafaël ; Kaposi, Ambrus ; Sattler, Christian 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
• Towards Strong Normalization for Dependent Object Types (DOT) (Artifact)
  Wang, Fei ; Rompf, Tiark
• Comparison of left ventricular cardiac dimensions between small and appropriate for gestational age preterm infants below 30 weeks of gestation
  Czernik, Christoph ; Rhode, Stefanie ; Metze, Boris ; Bührer, Christoph ; Schmitz, Lothar
• Normalization of a severely abnormal ductus venosus Doppler flow velocity waveform in the presence of normal arterial flow parameters
  Sütterlin, Andrea ; Sütterlin, Marc ; Nanan, Ralph ; Baumann-Müller, Andrea ; Dietl, Johannes ; Müller, Thomas
• Co-delivery of axitinib and PD-L1 siRNA for the synergism of vascular normalization and immune checkpoint inhibition to boost anticancer immunity
  Liu, Yanhong ; Gong, Liming ; Feng, Jing ; Xiao, Congcong ; Liu, Chenfei ; Chen, Bohan ; Chen, Liqing ; Jin, Mingji ; Guan, Youyan ; Gao, Zhonggao ; Huang, Wei
• Principal Types as Lambda Nets
  Di Gianantonio, Pietro ; Lenisa, Marina 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Normalization Without Syntax
  Heijltjes, Willem B. ; Hughes, Dominic J. D. ; Straßburger, Lutz 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strategies for Asymptotic Normalization
  Faggian, Claudia ; Guerrieri, Giulio 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Restricting Tree Grammars with Term Rewriting
  Bessai, Jan ; Czajka, Lukasz ; Laarmann, Felix ; Rehof, Jakob 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Variety Evasive Subspace Families
  Guo, Zeyu 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Strong Call-By-Need Calculus
  Balabonski, Thibaut ; Lanco, Antoine ; Melquiond, Guillaume 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction
  Abel, Andreas 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strongly Normalizing Higher-Order Relational Queries
  Ricciotti, Wilmer ; Cheney, James 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik