„lambda-calculus“

Suchergebnisse

286 Treffer

• Coalgebraic methods in computer science – 12th IFIP WG 1.3 international workshop ; revised selected papers
  Bonsangue, Marcello M. 2014 Springer
• Coalgebraic methods in computer science – 11th international workshop ; revised selected papers
  Pattinson, Dirk ; Schröder, Lutz 2012 Springer
• Die Proposition mit Kopula – Urteilscharakter, logisch-semantische Valenz und formalisierte Sprache
  Schädler, Maria W. Z. 2024 Narr Francke Attempto Verlag
• The lambda selections of parametric interval-valued fuzzy variables and their numerical characteristics
  Liu, Ying ; Liu, Yankui
• A++ and the Lambda Calculus – Principles of Functional Programming
  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
• Rewriting and Typed Lambda Calculi – Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
  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
• Trends in functional programming – 13th international symposium ; revised selected papers
  Loidl, Hans-Wolfgang ; Peña, Ricardo 2013 Springer
• Funktionale Programmierung verstehen – Konzepte und Entwurfsmuster für guten Code
  Widman, Jack 2024 Rheinwerk Verlag
• Pattern Calculus – Computing with Functions and Structures
  Jay, Barry 2009 Springer Berlin
• Regularity of Dirac-harmonic maps with $$\lambda $$ λ -curvature term in higher dimensions
  Jost, Jürgen ; Liu, Lei ; Zhu, Miaomiao
• The call by need lambda calculus
  Maraist, John ; Odersky, Martin ; Wadler, Philip 1994 Univ., Fak. für Informatik
• A constructive domain model of polymorphic lambda calculus
  Dupré, Claudio 1994 Univ.-GH, Fachgruppe Informatik
• Unification and matching in church's original lambda calculus
  Hustadt, Ullrich 1992 MPI Informatik
• A meta-calculus for formal system development
  Weber, Karl Matthias 1991 Oldenbourg
• Strictness analysis in the Imperative Lambda Calculus
  Springer, Jonathan ; Kamin, Samuel N.
• The overtyped lambda calculus
  Raulefs, Peter 1975 Univ. Karlsruhe, Fak. für Informatik
• Standard models of the overtyped lambda-calculus
  Raulefs, Peter 1975 Univ. Karlsruhe, Fak. für Informatik