„linear lambda calculus“

Suchergebnisse

30 Treffer

• A characterization of the Taylor expansion of lambda-terms
  Boudes, Pierre ; He, Fanny ; Pagani, Michele 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Collapsing non-idempotent intersection types
  Ehrhard, Thomas 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Resource Lambda-Calculus: the Differential Viewpoint
  Ehrhard, Thomas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
  Valentini, Silvio
• Linear-Time Self-Interpretation of the Pure Lambda Calculus
  Mogensen, Torben Æ
• Lambda Calculus and Intuitionistic Linear Logic
  della Rocca, Simona Ronchi ; Roversi, Luca
• Dynamic heuristic acceleration of linearly approximated SARSA( $$\lambda $$ λ ): using ant colony optimization to learn heuristics dynamically
  Bromuri, Stefano
• Separating weakening and contraction in a linear lambda calculus
  Maraist, John 1996 Univ., Fak. für Informatik
• Mathematical foundations of computer science 2014
  2014 Springer
• Mathematical foundations of computer science 2014
  2014 Springer