„lambda-calculus“

Suchergebnisse

286 Treffer

• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• On generic context lemmas for lambda calculi with sharing
  Schmidt-Schauß, Manfred ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
  Sabel, David ; Schmidt-Schauß, Manfred 2008 Univ.-Bibliothek Frankfurt am Main
• On correctness of buffer implementations in a concurrent lambda calculus with futures
  Schwinghammer, Jan ; Sabel, David ; Niehren, Joachim ; Schmidt-Schauß, Manfred 2009 Univ.-Bibliothek Frankfurt am Main
• A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case
  Schmidt-Schauß, Manfred ; Machkasova, Elena 2009 Univ.-Bibliothek Frankfurt am Main
• On correctness of buffer implementations in a concurrent lambda calculus with futures
  Schwinghammer, Jan ; Sabel, David ; Niehren, Joachim ; Schmidt-Schauß, Manfred 2009 Univ.-Bibliothek Frankfurt am Main
• On equivalences and standardization in a non-deterministic call-by-need lambda calculus
  Schmidt-Schauß, Manfred ; Mann, Matthias 2009 Univ.-Bibliothek Frankfurt am Main
• Simulation in the call-by-need lambda-calculus with letrec
  Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena 2010 Univ.-Bibliothek Frankfurt am Main
• Computing overlappings by unification in the deterministic lambda calculus LR with letrec, case, constructors, seq and variable chains
  Rau, Conrad ; Schmidt-Schauß, Manfred 2011 Univ.-Bibliothek Frankfurt am Main
• Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
  Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena 2012 Univ.-Bibliothek Frankfurt am Main
• Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings
  Schmidt-Schauß, Manfred ; Machkasova, Elena ; Sabel, David 2013 Univ.-Bibliothek Frankfurt am Main
• Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings
  Schmidt-Schauß, Manfred ; Machkasova, Elena ; Sabel, David 2013 Univ.-Bibliothek Frankfurt am Main
• Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
  Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena 2013 Univ.-Bibliothek Frankfurt am Main
• Applicative may- and should-simulation in the call-by-value lambda calculus with amb
  Schmidt-Schauß, Manfred ; Sabel, David 2014 Univ.-Bibliothek Frankfurt am Main
• Nominal Unification with Atom and Context Variables
  Schmidt-Schauß, Manfred ; Sabel, David 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Full Abstraction for Resource Calculus with Tests
  Bucciarelli, Antonio ; Carraro, Alberto ; Ehrhard, Thomas ; Manzonetto, Giulio 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable
  Breuvart, Flavien ; Manzonetto, Giulio ; Polonsky, Andrew ; Ruoppolo, Domenico 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refutation of Sallé's Longstanding Conjecture
  Intrigila, Benedetto ; Manzonetto, Giulio ; Polonsky, Andrew 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Lambda Calculus Satellite (Invited Talk)
  Manzonetto, Giulio 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constrained lambda calculus
  Mandel, Luis 1995 Shaker