„lambda-term“

Suchergebnisse

68 Treffer

• Stable exponential cosmological solutions with 3- and l-dimensional factor spaces in the Einstein–Gauss–Bonnet model with a $$\Lambda $$ Λ -term
  Ivashchuk, V. D. ; Kobtsev, A. A.
• Models of sharing graphs – a categorical semantics of let and letrec
  Hasegawa, Masahito 1999 Springer
• Unification in a Sorted (lambda)-Calculus with Term Declarations and Function Sorts
  Kohlhase, Michael 1994 Technische Universität Kaiserslautern, Fachbereich Informatik
• Models of Sharing Graphs – <Emphasis Type="Bold">A Categorical Semantics of</Emphasis> let <Emphasis Type="Bold">and</Emphasis> letrec
  Hasegawa, Masahito 1999 Springer London
• Type-based termination – a polymorphic lambda-calculus with sized higher-order types
  Abel, Andreas 2007 Harland Media
• Stable exponential cosmological solutions with zero variation of G and three different Hubble-like parameters in the Einstein–Gauss–Bonnet model with a $$\Lambda $$ Λ -term
  Ernazarov, K. K. ; Ivashchuk, V. D.
• Cosmological dynamics of spatially flat Einstein–Gauss–Bonnet models in various dimensions: high-dimensional $$\Lambda $$ Λ -term case
  Pavluchenko, Sergey A.
• Stable exponential cosmological solutions with zero variation of G in the Einstein–Gauss–Bonnet model with a $$\Lambda $$ Λ -term
  Ernazarov, K. K. ; Ivashchuk, V. D.