„lambda-calculus“

Suchergebnisse

286 Treffer

• Binary lambda calculus and combinatory logic
  Tromp, John 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Type-based termination – a polymorphic lambda-calculus with sized higher-order types
  Abel, Andreas 2007 Harland Media
• Mathematical foundations of computer science 2014
  2014 Springer
• A non-deterministic call-by-need lambda calculus – proving similarity a precongruence by an extension of Howe's method to sharing
  Mann, Matthias
• Mathematical foundations of computer science 2014
  2014 Springer
• An Ancient Logic – Chrysippus and His Modern Readers I
  Rezus, Adrian 2016 LAP LAMBERT Academic Publishing