„Parametric Lambda Calculus“

Suchergebnisse

5 Treffer

• A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
• Polynomial Time in the Parametric Lambda Calculus
  Redmond, Brian F. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The lambda selections of parametric interval-valued fuzzy variables and their numerical characteristics
  Liu, Ying ; Liu, Yankui
• The parametric lambda calculus – a meta-model for computation
  Ronchi della Rocca, Simona ; Paolini, Luca 2003 Springer
• The Parametric Lambda Calculus – A Metamodel for Computation
  Ronchi della Rocca, Simona ; Paolini, Luca 2004 Springer Berlin Heidelberg