„lambda-calculus“

Suchergebnisse

286 Treffer

• Isomorphisms of types – from λ-calculus to information retrieval and language design
  Di Cosmo, Roberto 1995 Birkhäuser
• Solving Higher-Order Equations – From Logic to Programming
  Prehofer, Christian 1998 Birkhäuser Boston
• A++ und systemnahe Programmiersprachen – Funktional programmieren in C/C++
  Loczewski, Georg P. 2018 tredition
• A++ und systemnahe Programmiersprachen – Funktional programmieren in C/C++
  Loczewski, Georg P. 2018 tredition
• A++ and the Lambda Calculus – Principles of Functional Programming
  Loczewski, Georg P. 2018 tredition
• Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
  Díaz-Caro, Alejandro ; Malherbe, Octavio 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A non-deterministic call-by-need lambda calculus – proving similarity a precongruence by an extension of Howe's method to sharing
  Mann, Matthias
• Sign and the lambda-term
  Tanaka-Ishii, Kumiko ; Ishii, Yuichiro
• Coalgebraic Methods in Computer Science – 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
  Bonsangue, Marcello M. 2016 Springer International Publishing
• Coalgebraic Methods in Computer Science – 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
  2014 Springer International Publishing
• The Beauty of Functional Code – Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
  Achten, Peter ; Plasmeijer, Marinus Jacobus ; Koopman, Pieter 2013 Springer Berlin Heidelberg
• Trends in Functional Programming – 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
  Loidl, Hans-Wolfgang ; Peña, Ricardo 2013 Springer Berlin Heidelberg
• Coalgebraic Methods in Computer Science – 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
  Pattinson, Dirk ; Schröder, Lutz 2012 Springer Berlin Heidelberg
• On confluence and semantic full abstraction of lambda calculus languages
  Müller, Fritz ; Wilhelm, Reinhard 2016 Saarländische Universitäts- und Landesbibliothek
• Functions, Frames, and Interactions-completing a lambda-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
  Reinke, Claus 1998 Universitätsbibliothek Kiel
• A Colored Version of the lambda-Calculus
  Hutter, Dieter ; Kohlhase, Michael 2024 Saarländische Universitäts- und Landesbibliothek
• Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading
  Johann, Patricia ; Kohlhase, Michael 2024 Saarländische Universitäts- und Landesbibliothek
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• Semantics of the probabilistic Lambda Calculus By Dirk Draheim – Springer-Verlag, Berlin Heidelberg, DE, 26 January 2017, VIII+218 pp, 246x189mm, ISBN: 9783642551970 (Hardback, €124.79), ISBN: 9783662568729 (Paperback, €124.79).
  Loreti, Michele
• Barendregt’s Theory of the λ-Calculus, Refreshed and Formalized
  Lancelot, Adrienne ; Accattoli, Beniamino ; Vemclefs, Maxime 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik