„lambda-calculus“

Suchergebnisse

286 Treffer

• On Some Enumerative Problems in Lambda Calculus
  Krasko, E. S. ; Labutin, I. N. ; Moskvin, D. N. ; Omelchenko, A. V. ; Khrabrov, A. I.
• Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures
  Willig, Martina ; Schmidt-Schauß, Manfred ; Sabel, David 2009 Universitätsbibliothek Johann Christian Senckenberg
• On a new invariant determining the isomorphism classes of $$\Lambda $$ Λ -modules with $$\lambda =3$$ λ = 3
  Murakami, Kazuaki
• 21st International Conference on Types for Proofs and Programs (TYPES 2015)
  Uustalu, Tarmo 2018 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Nominal unification with atom and context variables
  Schmidt-Schauß, Manfred ; Sabel, David 2018 Universitätsbibliothek Johann Christian Senckenberg
• A++ und systemnahe Programmiersprachen – Funktional programmieren in C/C++
  Loczewski, Georg P. 2018 tredition
• Complete $$\lambda $$ λ -hypersurfaces of weighted volume-preserving mean curvature flow
  Cheng, Qing-Ming ; Wei, Guoxin
• A concurrent lambda-calculus with promises and futures
  Schwinghammer, Jan 2004 Saarländische Universitäts- und Landesbibliothek
• The parametric lambda calculus – a meta-model for computation
  Ronchi della Rocca, Simona ; Paolini, Luca 2003 Springer
• New lower bounds for the expressiveness and the higher-order matching problem in the simply typed lambda calculus
  Vorobyov, Sergei 1999 MPI Informatik, Bibliothek & Dokumentation
• The Parametric Lambda Calculus – A Metamodel for Computation
  Ronchi della Rocca, Simona ; Paolini, Luca 2004 Springer Berlin Heidelberg
• A Coloured Version of the Lambda-Calculus
  Kohlhase, Michael ; Hutter, Dieter 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• Unification in a Sorted (lambda)-Calculus with Term Declarations and Function Sorts
  Kohlhase, Michael 1994 Technische Universität Kaiserslautern, Fachbereich Informatik
• Separating weakening and contraction in a linear lambda calculus
  Maraist, John 1996 Univ., Fak. für Informatik
• Category theory and the simply typed λ-calculus [lambda-calculus]
  Martini, Alfio 1996 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Bisimulation congruence for the call by value λ-calculus lambda calculus
  Frauenstein, Thomas ; Glas, Rainer 1996 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Abstraction-Based Genetic Programming – An Application of the polymorphically-typed lambda calculus to genetic programming
  Binard, Franck 2009 VDM Verlag Dr. Müller
• Pattern calculus – computing with functions and structures
  Jay, Barry 2009 Springer
• Higher order abstract data types - cartesian closure versus λ-calculus [lambda-calculus]
  Poigné, Axel 1983 Abt. Informatik, Univ.
• Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
  Sabel, David 2008 Verl. Dr. Hut