Home  Lambda_Calculus  Lambda Algebra 
Page 1 159 of 59 1 
1. JSTOR Spherical Classes And The Lambda Algebra Let pA = (k F be Singer s invarianttheoretic model of the dual of the lambda algebra with Hk(P^)  TorA4(F2, F2), where A denotes the mod 2 Steenrod http://links.jstor.org/sici?sici=00029947(200111)353:11<4447:SCATLA>2.0.CO;2G 
2. An {$M{\rm U}$}analogue Of The Lambda Algebra Errata Nobuo Shimada, Errata to ``An MUanalogue of the lambda algebra . Publ. Res. Inst. Math. Sci., Volume 23, Number 6 (1987), pp. 1015. http://projecteuclid.org/handle/euclid.prims/1195177069  

3. IngentaConnect On Singer's Invarianttheoretic Description Of The Lambda Algebra The purpose of the paper is to give a mod p analogue for the Singer invarianttheoretic description of the lambda algebra. In other words, we give an http://www.ingentaconnect.com/content/els/00224049/1995/00000099/00000003/art000  

4. An MUanalogue Of The Lambda Algebra An MUanalogue of the lambda algebra. Source, Publications of the Research Institute for Mathematical Sciences archive Volume 22 , Issue 6 (December 1987) http://portal.acm.org/citation.cfm?id=38625.38635 
5. CiNii  Some Acyclic Relations In The Lambda Algebra Some acyclic relations in the lambda algebra We consider the relations $\omega \gamma=0 \in \Lambda$, and show that if $\omega \alpha=0$ then http://ci.nii.ac.jp/naid/110004793485/en/  

6. 6 New Papers This Time, From BaasDundasRognes (an Update Richter/RichterLambdaEHP Title lambda algebra unstable composition products and the Lambda EHP sequence Author William Richter AMS Classification http://math.wesleyan.edu/~mhovey/archive/letter148 
7. Cookies Required The author thanks Elmar Wagner for discussions on the general representation theory of C\lambda algebras, as well as Hanno Sahlmann for discussions on the http://link.aps.org/doi/10.1103/PhysRevLett.97.061302  

8. Abstracts Of John Palmieri's Papers We study the action of Sq0 on the Adams E2term using the lambda algebra. In particular, there is a Bockstein spectral sequence whose E1term is the http://www.math.washington.edu/~palmieri/abstracts.php  

9. Unstable Homotopy Groups Of Spheres This program can calculate the cohomology of the lambda algebra, LambdaData.m 10MB of data on bases for the lambda algebra that put the differential http://neilstrickland.staff.shef.ac.uk/toda/  

10. A PRIMER ON THE DICKSON INVARIANTS Clarence Wilkerson Purdue I want to sketch an application of the Dickson invariants to a description o* *f the DyerLashof algebra and the lambda algebra. This description arises in http://www.math.purdue.edu/research/atopology/Wilkerson80s/dickson.txt  

11. Vietnam, August, 2004 Abstract There is an algebra endomorphism of the lambda algebra which sends lambda_n to lambda_{2n+1}. This map induces Sq^0 on the Adams E_2 term for the http://wwwmath.mit.edu/~hrm/vietnam.html  

12. Trường Đại Học Khoa Học Tự NhiÃªnĐ Vi t chung v i Nguy n Sum, On Singer invarianttheoretic description of the lambda algebra A mod p analogue, Jour. Pure and Appl. Algebra 99 (1995), http://www.hus.edu.vn/HoSoCBCNV/ThongTinNhanSu.asp?PersCode=455 
13. Computing The Homology Of The Lambda Algebra Is Available From Bestprices.com Bo Computing the Homology of the lambda algebra only $35.30, get the Computing the Homology of the lambda algebra book From BestPrices.com! http://www.bestprices.com/cgibin/vlink/0821823388BT?id=nsession 
14. [pltscheme] Buildvector Avoids Sharing Problem + Tensor Algebras And there s a differential, so we can take the homology Funny thing, the tensor algebra modulo these relations is called the lambda algebra . http://www.cs.brown.edu/pipermail/pltscheme/2003February/001761.html  

15. THEORY SEMINAR AUTUMN TERM 2001 TIME AND PLACE Fridays 4 P.m. Moreover, the application and abstraction operations for this lambda algebra can actually be implemented in New Jersey SML, making essential use of http://events.cs.bham.ac.uk/seminararchive/theory/theory.autumn01 
16. 31 The purpose of this paper is to give a mod panalogue of the Lomonaco invarianttheoretic description of the lambda algebra for p an odd prime. http://www.math.ac.vn/publications/vjm/vjm_33/19.htm  

17. Vista Site  1 On an invarianttheoretic description of the lambda algebra The purpose of this paper is to give a modp analogue of the Lomonaco invarianttheoretic http://english.vista.gov.vn/english/st_documents_abstract/200502183908905120/200  

18. Publications Of RIMS: Author Index To Volumes 2130 SHIMADA, N. Errata to ``An MUanalogue of the lambda algebra . 23, 1015 (1987) SHIMAKAWA, K. Uniqueness of products in higher algebraic Ktheory. http://www.kurims.kyotou.ac.jp/~kenkyubu/publ/2130.html 
19. Chapters.indigo.ca: Computing The Homology Of The Lambda Algebra: Martin C. Tang Indigo Books Music is a Canadian bookseller committed to providing a stressfree approach to satisfying the booklover. Getting you the right book at the http://www.chapters.indigo.ca/books/ComputingHomologyLambdaAlgebraMartinCT  

20. Research Seminars  MIMS There are other connections with power operations in Morava Etheory, as well as the classical DyerLashof algebra and lambda algebra. http://www.mims.manchester.ac.uk/events/seminars/topology.php  

21. Barendregt: Lambda Calculus A lambdaalgebra M is a combinatoryalgebra if for all A and B in T(M) with In any lambdaalgebra we have (confusing the terms with their http://mathgate.info/cebrown/notes/barendregt.php  

22. Journal Of Lie Theory, Vol. 10, No. 2, Pp. 455461, 2000 We prove that any geodesic loop $L$ defines in the tangential space $T_eL$ a unique $\lambda $algebra, and that to any finite dimensional real $\lambda http://www.emis.de/journals/JLT/vol.10_no.2/15.html  

23. 23 Suchergebnisse FÃ¼r [clls] 2 Parallelism constraints in underspecified semantics SciDok Parallelism constraints in underspecified semantics Relevanz 951 lambdaalgebra 004 CLLS http://scidok.sulb.unisaarland.de/scidoksearch?query=clls 
24. Ottawa Octoberfest 2005 It is a classic result for the lambdacalculus that a lambdaalgebra gives rise to a Cmonoid and whence a cartesian closed category. http://aix1.uottawa.ca/~scpsg/Octoberfest05/schedule.html  

25. Stupid Question.  Lambda The Ultimate As far as it goes, lambdaalgebra is fine, but it does not go far enough. There are other relevant comments in the paper I ll mail a scanned version to http://lambdatheultimate.org/node/533  

26. Scientific Commons The SuperW$_{\infty}$($\lambda$) Algebra The superW$_{\infty}$($\lambda$) algebra (1990). Bergshoeff, EA,; Vasilev, MA,; De Wit, Bernard. Publication details http://en.scientificcommons.org/761733  

27. Mathematics Bonn  PhD Students Of Stefan Schwede We investigate the secondary structure in the lambdaalgebra, a preferred $ E_2$ term for the Adams spectral sequence converging to the stable homotopy http://www.mathematics.unibonn.de/faculty/Schwede/phdstudents.html  

28. Homology Of Lie Algebras With $\Lambda/q\Lambda$ Coefficients And Exact Sequence Using the long exact sequence of nonabelian derived functors, an eight term exact sequence of Lie algebra homology with $\lambda/q\lambda$ coefficients is http://www.tac.mta.ca/tac/volumes/10/4/1004abs.html  

29. Atlas: Boolean Algebra And Lambda Calculus By Antonino Salibra Boolean algebras for lambda calculus. 21th Annual IEEE Symposium on Logic in Computer Science (LICS 2006), IEEE Computer Society Press, 2006. http://atlasconferences.com/cgibin/abstract/caug81  

30. Semantics Course 2007 CL is a syntactical lambdaalgebra. (For the definition of CL, see the previous exercises.)The proof of this fact is by induction on the proof of lambda http://www.cs.ru.nl/H.Geuvers/onderwijs/semantiek/  

31. Nabble  Lambda Prolog  CMS Winter 2007 Meeting: Computer Algebra Session CMS Winter 2007 Meeting Computer algebra Session. CALL for PARTICIPATION Algorithmic Challenges in http://www.nabble.com/CMSWinter2007Meeting:ComputerAlgebraSessiontd139401  

32. Atlantis Press Paper Details: Algebra Gl(lambda) Inside The Algebra Of Different The Lie algebra gl() with C, introduced by B L Feigin, can be embedded into the Lie algebra of differential operators on the real line (see 7). http://www.atlantispress.com/php/paperdetails.php?from=author index&id=691&que 
33. ALGEBRA AND THE LAMBDA CALCULUS By Aubrey Jaffer ABSTRACT An The usual connection made between the lambda calculus and algebra is to construct the integers using the lambda calculus and then construct algebraic (and http://wwwswiss.ai.mit.edu/~jaffer/lambda.txt  

34. AMCA: General Quantum Polynomials By V. A. Artamonov Denote by \lambda the associative kalgebra with a unit generated by elements X1 +/ 1, The algebra \lambda is a left and right Noetherian domain. http://at.yorku.ca/c/a/i/g/05.htm  

35. Lambda Calculus Tutor The algebra Helper software is the best tool to learn lambda calculus tutor. With it, you can learn at home, at your own pace and without needing a tutor. http://www.algebraanswer.com/algebrahelper/lambdacalculustutor.html  

36. Algebras And Representation Theory  Blog Â» 2006 Â» December in the center of $\bar \lambda = \lambda/r$ if is isomorphic to a generalized path algebra with weak relations. Representations of the generalized path http://blogs.springer.com/alge/?m=200612 
37. Aufgabe 1 (definestruct Pair (fst Snd)) (define Zip (lambda (l1 (pairfst p) arg) (pairsnd p) (lookup (rest fun) arg))))))) (define kata (lambda (t algebra env) (cond ((var? t) (lookup env (varname t))) ((null? t) http://www.informatik.unifreiburg.de/proglang/teaching/ws20012002/info1/ueb6.s  

38. Lie Algebra Question Text  Physics Forums Library We can use these maps to construct two vector fields X_L^\rho and X_L^\lambda for each vector L in the Lie algebra X_L^\rho _g=Lg X_L^\lambda _g=gL http://www.physicsforums.com/archive/index.php/t180921.html  

39. Mode Lisp; * ;;;; Algebra System For CPS ;;; Copyright (c) 1986 The function SETUPalgebraPROBLEM sets up the algebra problem space. . exp) (not (listp exp))) nil) (t (setq xts (removeif (lambda (e) (nounknown? e http://www.cs.northwestern.edu/~forbus/c44/Code/cps/algebra.lsp 
40. Preparing An Abstract \begin{theorem} Let $\lambda$ be an artin algebra and $M$ an indecomposable module in $\mod\lambda$. Then $\End_\lambda(M)$ is a local ring. \end{theorem} http://www.math.ntnu.no/~oyvinso/ICRA/Outdated/abstract.html  

41. Modules Over Iwasawa Algebras, By J. Coates, P. Schneider, R. Sujatha We recall that the Iwasawa algebra $\lambda(G)$ is defined to be the completed group ring of $G$ over the ring of $p$adic integers. http://www.math.uiuc.edu/AlgebraicNumberTheory/0315/  

42. R: Basic Linear Algebra Utilities And Other Computations Supporting The Krig Fun Default is NA, i.e. use the value in out\$lambda . The engines are the code modules that handle the basic linear algebra needed to computed the http://www.image.ucar.edu/GSP/Software/Fields/Help/Krig.engine.default.html  

43. ( ) The aim of the paper is to prove that given a positively graded locally finite $K$algebra $\lambda = \sum_{i \geq 0} \lambda_i$ and a finite grading http://mathnet.kaist.ac.kr/API/?MIval=db_jour_detail&con=979357&tex=0 
44. From Kramsay@aol.commangled (Keith Ramsay) Subject Re Graded For example let M be a module over the commutative ring K. Then T(M) and lambda(M), the tensor algebra and exterior algebra respectively, are graded http://www.math.niu.edu/~rusin/knownmath/99/graded_alg  

45. Baztech Informacja O Publikacji Streszczenie angielskie lambda abstraction algebras are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras http://baztech.icm.edu.pl/baztech/cgibin/btgetdoc.cgi?BUS100030024 
46. C*algebras Associated With Presentations Of Subshifts II. Ideal Structure And L As a result, the class of the C*algebras associated with $\lambda$ graph systems under condition (II) is closed under quotients by its ideals. http://www.austms.org.au/Publ/Jamsa/V81P3/l106.html  

47. Fundamenta Informaticae, Volume 30, Abstracts lambda abstraction algebras are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the http://fi.mimuw.edu.pl/abs33.html  

48. Nonlinear Deformations Of Su(2) And Su(1,1) Generalizing Witten's Algebra For lambda =2, such algebras are equivalent to Witten s (1990) first deformation of su(2) or su(1,1). For any lambda , the spectrum of J0 is exponential http://www.iop.org/EJ/abstract/03054470/26/4/001  

49. FLoC 2006  LICS Boolean algebras for lambda calculus In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory http://www.easychair.org/FLoC06/LICSday225.html  

50. Peter Selinger Papers Equivalently, the open and closed term algebras of the untyped lambda calculus cannot be nontrivially partially ordered. Our second result is a syntactical http://www.mscs.dal.ca/~selinger/papers.html 
51. Citebase  On Spaces Of Connected Graphs II: Relations In The Algebra Lambda UniversitÃ© Paris VII preprint, July 1995 (revised 1997). G/A, 7 Pierre Vogel, The universal Lie algebra, UniversitÃ© Paris VII preprint, June 1999. http://www.citebase.org/abstract?identifier=oai:arXiv.org:math/0301019&action=ci 
Page 1 159 of 59 1 