„lambda-calculus“

Suchergebnisse

286 Treffer

• An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus
  Bagossy, Attila ; Battyányi, Péter
• Die Proposition mit Kopula – Urteilscharakter, logisch-semantische Valenz und formalisierte Sprache
  Schädler, Maria W. Z. 2024 Narr Francke Attempto Verlag
• Die Proposition mit Kopula – Urteilscharakter, logisch-semantische Valenz und formalisierte Sprache
  Schädler, Maria W. Z. 2024 Narr Francke Attempto
• Functions, frames, and interactions - completing a λ-calculus-based lambda-calculus-based purely functional language with respect to programming in the large and interactions with runtime environments
  Reinke, Claus 1998 Inst. für Informatik und Praktische Mathematik
• A formalization of hylomorphism based deforestation with an application to an extended typed λ-calculus [lambda-calculus]
  Jürgensen, Claus 2000 TU, Fak. Informatik
• Category Theory – Invariances and Symmetries in Computer Science
  Majkić, Zoran 2023 De Gruyter
• A non-deterministic call-by-need lambda calculus
  Kutzner, Arne ; Schmidt-Schauß, Manfred 1998 Universitätsbibliothek Johann Christian Senckenberg
• Combining communication and application in a λ-like [lambda-like] calculus
  Glas, Rainer
• Lambda‐Calculus Models and Extensionality
  Hindley, R. ; Longo, G.
• Polymorphic lambda calculus with context-free session types
  Almeida, Bernardo ; Mordido, Andreia ; Thiemann, Peter ; Vasconcelos, Vasco 2024 Universität
• Category theory – invariances and symmetries in computer science
  Majkić, Zoran 2023 De Gruyter
• λ-Calculus [Lambda-calculus] and computer science theory – proceedings of the symposium held in Rome march 25 - 27, 1975
  Böhm, Corrado 1975 Springer
• Semantics of probabilistic typed lambda calculus – markov chain semantics, termination behavior, and denotational semantics
  Draheim, Dirk 2017 Springer
• Category Theory – Invariances and Symmetries in Computer Science
  Majkić, Zoran 2023 De Gruyter
• Lambda-calculus schemata
  Fischer, Michael J.
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
  Valentini, Silvio
• Using typed lambda calculus to implement formal systems on a machine
  Avron, Arnon ; Honsell, Furio ; Mason, Ian A. ; Pollack, Robert
• The converse principal type-scheme theorem in lambda calculus
  Hirokawa, Sachio
• Linear-Time Self-Interpretation of the Pure Lambda Calculus
  Mogensen, Torben Æ
• Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus
  Gørtz, Inge Li ; Reuss, Signe ; Sørensen, Morten Heine