„lambda calculus“

Suchergebnisse

286 Treffer

• Expressibility in the Lambda Calculus with Mu
  Grabmayer, Clemens ; Rochel, Jan 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decidable structures between Church-style and Curry-style
  Fujita, Ken-etsu ; Schubert, Aleksy 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Infinitary Rewriting Coinductively
  Endrullis, Jörg ; Polonsky, Andrew 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Collapsing non-idempotent intersection types
  Ehrhard, Thomas 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the equational consistency of order-theoretic models of the lambda-calculus
  Carraro, Alberto ; Salibra, Antonino 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus
  Terui, Kazushige 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Invariance of the Unitary Cost Model for Head Reduction
  Accattoli, Beniamino ; Dal Lago, Ugo 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Abstract Factorization Theorem for Explicit Substitutions
  Accattoli, Beniamino 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Step-Indexed Relational Reasoning for Countable Nondeterminism
  Schwinghammer, Jan ; Birkedal, Lars 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Axiomatizing the Quote
  Polonsky, Andrew 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Relating Two Semantics of Locally Scoped Names
  Lösch, Steffen ; Pitts, Andrew M. 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Resource Lambda-Calculus: the Differential Viewpoint
  Ehrhard, Thomas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Weakening the Axiom of Overlap in Infinitary Lambda Calculus
  Severi, Paula ; de Vries, Fer-Jan 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus
  Grathwohl, Niels Bjørn Bugge ; Ketema, Jeroen ; Pallesen, Jens Duelund ; Simonsen, Jakob Grue 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Realizing the Dependently Typed Lambda Calculus
  Snow, Zachary 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Undecidability of Type Related Problems in Type-free Style System F
  Fujita, Ken-Etsu ; Schubert, Aleksy 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting
  Endrullis, Joerg ; Grabmayer, Clemens ; Hendriks, Dimitri ; Klop, Jan Willem ; van Oostrom, Vincent 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Head reduction and normalization in a call-by-value lambda-calculus
  Guerrieri, Giulio 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Metric-affine cosmological models and the inverse problem of the calculus of variations. Part II: Variational bootstrapping of the $$\Lambda $$ Λ CDM model
  Ducobu, Ludovic ; Voicu, Nicoleta
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin