Lambda-Designs with Small Lambda are Type-1 /

Lambda-Designs with Small Lambda are Type-1 /

Bibliographic Details
Main Author:	Weisz, Iván
Language:	English
Published:	The Ohio State University / OhioLINK 1995
Subjects:	Mathematics
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487929230740028

Similar Items

Lambda designs for lambda less than 60
by: Puliyambalath, Naushad Pasha
Published: (2009)

Fat subsets of P kappa (lambda)
by: Zaigralin, Ivan
Published: (2016)

The scattering of lambda particles by nucleons.
by: Masson, David. R.
Published: (1959)

Relational models of the lambda calculus
by: Diepenveen, Emily
Published: (2013)

Large sets of disjoint t-(v,k,[lambda]) designs /
by: Yeh, Jieh-Shan George
Published: (1999)

The analysis of resource use in the lambda calculus by type inference
by: Courtenage, Simon
Published: (1996)

Logical relation categories and lambda calculi.
by: Yang, Liqun.
Published: (2009)

The safe lambda calculus
by: Blum, William
Published: (2009)

LAMBDA
by: Andrus, Ryan Charles
Published: (2013)

Modeling phage lambda via ordinary differential equations
by: Raol, Jay
Published: (2009)

Lambda encodings in type theory
by: Fu, Peng
Published: (2014)

Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
by: Kuc̆an, Jakov
Published: (2008)

Lambda-Lambda Correlation in Relativistic Heavy Ion Collisions
by: Morita Kenji, et al.
Published: (2015-01-01)

The 1-dimensional [lambda]-self shrinkers in R² and the nodal sets of biharmonic Steklov problems
by: Chang, Jui-En
Published: (2016)

An Analysis of Conjugate Harmonic Components of Monogenic Functions and Lambda Harmonic Functions

Sound and Complete Typing for lambda-mu
by: Steffen van Bakel
Published: (2011-01-01)

Intersection types in lambda calculus and logic
by: Gilezan Silvia
Published: (1993)

Lambda polarization at 90 degrees in (positive kaon, lambda-hyperon) photoproduction
by: Groom, Donald Eugene
Published: (1965)

Universal polynomials in lambda rings and the K-theory of the infinite loop space tmf
by: Hopkinson, John R. (John Robert)
Published: (2006)

The dagger lambda calculus
by: Philip Atzemoglou
Published: (2014-12-01)

Lambdas-théories probabilistes
by: Leventis, Thomas
Published: (2016)

Nominal lambda calculus
by: Nebel, Frank
Published: (2015)

The partial lambda calculus
by: Moggi, Eugenio
Published: (1988)

Programmation en lambda-calcul pur et typé
by: Nour, Karim
Published: (2000)

un lambda calcul intuitioniste avec exceptions
by: Mounier, Georges
Published: (1999)

Classifying Lambda-modules up to Isomorphism and Applications to Iwasawa Theory
Published: (2011)

On counting points in hypercubes, additive sequences and [lambda](p) sets /
by: Hajela, Dhananjay
Published: (1983)

The Change in Lambda Invariants for Cyclic p-Extensions of Z(p)-Fields
by: Schettler, Jordan Christian
Published: (2012)

On the Spaces of $\lambda _{r}$-almost Convergent and $\lambda _{r}$-almost Bounded Sequences
by: Sinan Ercan
Published: (2020-07-01)

La notion d'indéfini en lambda-calcul
by: Bertini, Yves
Published: (2005)

Semantics of a Typed Algebraic Lambda-Calculus
by: Benoît Valiron
Published: (2010-06-01)

Lambda calculus models of typed programming languages
by: Mitchell, John Clifford
Published: (2005)

La notion d'indéfini en lambda calcul
by: Bertini, Yves
Published: (2005)

Type assignment in the lambda-calculus : Syntax and semantics
by: Ben-Yelles, C. B.
Published: (1979)

Models of lambda calculi and linear logic : structural, equational and proof-theoretic characterisations
by: Loader, Ralph
Published: (1994)

Weighted lambda superstrings applied to vaccine design.
by: Luis Martínez, et al.
Published: (2019-01-01)

$$\Lambda _b$$ Λb decays into $$\Lambda _c^*\ell \bar{\nu }_\ell $$ Λc∗ℓν¯ℓ and $$\Lambda _c^*\pi ^-$$ Λc∗π- $$[\Lambda _c^*=\Lambda _c(2595)$$ [Λc∗=Λc(2595) and $$\Lambda _c(2625)]$$ Λc(2625)] and heavy quark spin symmetry
by: J. Nieves, et al.
Published: (2019-05-01)

On the Lambda-evolution of galaxy clusters
by: V. G. Gurzadyan, et al.
Published: (2020-01-01)

Minimal lambda-theories by ultraproducts
by: Antonio Bucciarelli, et al.
Published: (2013-03-01)

Standardization in resource lambda-calculus
by: Maurizio Dominici, et al.
Published: (2012-11-01)

Cannot write session to /tmp/vufind_sessions/sess_q33m9c9a5ehabmbqbhvnq48aqo