Home  Lambda_Calculus  Combinatory Algebra 
Page 1 159 of 59 1 
1. Combinatory Algebras In Algebra The Nature Of Elements (henceforth Nevertheless, it helps to have some notion of object in mind to get a taste of Combinatory Algebra. One such notion considers an object as being any set http://www.santafe.edu/~walter/AlChemy/Statement/combalgebra.html  

2. Atlas: Boolean Algebra And Lambda Calculus By Antonino Salibra The proof of the representation theorem for Combinatory Algebras is based on the Central elements in a Combinatory Algebra constitute a Boolean algebra, http://atlasconferences.com/cgibin/abstract/caug81  

3. JSTOR A Sufficient Condition For Completability Of Partial A Partial Combinatory Algebra is completable if it can be extended to a total one. A Total Combinatory Algebra is a PCA where the application is total, http://links.jstor.org/sici?sici=00224812(199712)62:4<1209:ASCFCO>2.0.CO;2U 
4. IngentaConnect A Note On Absolutely Unorderable Combinatory Algebras Plotkin has conjectured that there exists an absolutely unorderable Combinatory Algebra, namely a Combinatory Algebra which cannot be embedded in another http://www.ingentaconnect.com/content/oup/logcom/2003/00000013/00000004/art00481  

5. Geometry Of Interaction And Linear Combinatory Algebras We present an axiomatic framework for Girard s Geometry of Interaction based on the notion of linear Combinatory Algebra. We give a general construction on http://portal.acm.org/citation.cfm?id=966841.966845 
6. A Sufficient Condition For Completability Of Partial Combinatory A Partial Combinatory Algebra is completable if it can be extended to a total one. In 1 it is asked (question 11, posed by D. Scott, H. Barendregt, http://projecteuclid.org/handle/euclid.jsl/1183745377  

7. History Of Mathematics Blog Â» Blog Archive Â» Combinatory Algebra Combinatory Algebra. December 11, 2007 Â 420 pm. jonjayray. Do languages reminiscent of combinatory logic, eg. CAM expressions, Joy, Cat, have first class http://histmath.net/2007/12/11/combinatoryalgebra/  

8. FLoC 2006  LICS In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to Combinatory Algebras. In every Combinatory Algebra http://www.easychair.org/FLoC06/LICSday225.html  

9. Fundamenta Informaticae, Volume 30, Abstracts Like Combinatory Algebras they can be defined by true identities and thus form a variety in the sense of universal algebra. http://fi.mimuw.edu.pl/abs33.html  

10. Publications, Lecture Notes Etc.  Thomas Streicher We show that realizability models over a typed partial Combinatory Algebra (Ã la J. Longley) are impredicative, i.e. allow for quantification over http://www.mathematik.tudarmstadt.de/~streicher/  

11. Homepage For Prof. Erwin Engeler Equations in Combinatory Algebras. In Logics of Programs eds E. Clarke et al., Springer Lecture Notes in Computer Science 164 (Springer New York, http://www.math.ethz.ch/~engeler/  

12. Combinatory Algebra For Sequential Computation The following paper is available at the address http//www.math.ruu. nl/publications/preprints/996.ps.gz A Combinatory Algebra FOR SEQUENTIAL FUNCTIONALS OF http://www.cis.upenn.edu/~bcpierce/types/archives/199798/msg00023.html  

13. Baztech Informacja O Publikacji Like Combinatory Algebras they can be defined by true identities and thus from a variety in the sense if universal algebra. http://baztech.icm.edu.pl/baztech/cgibin/btgetdoc.cgi?BUS100030024 
14. R000700:The Lambda Calculus And Combinatory Algebra I will demonstrate that programs for the Miser Engine represent combinatory logic, so Combinatory Algebra is useable for discussion of an exploration of http://misertheory.info/readings/R000700.htm  

15. DBLP: Inge Bethke 8, Inge Bethke, Jan Willem Klop, Roel C. de Vrijer Completing Partial Combinatory Algebras With Unique HeadNormal Forms. LICS 1996 448454 http://www.informatik.unitrier.de/~ley/db/indices/atree/b/Bethke:Inge.html  

16. EquMath: Math Lessons Â» Blog Archive Â» Combinatory Algebra Combinatory Algebra. December 11th, 2007 by. grigorix. Do languages reminiscent of combinatory logic, eg. CAM expressions, Joy, Cat, have first class http://equmath.net/2007/12/11/combinatoryalgebra/  

17. Combinatory Combinatory Algebra Truck Factoring Club Algebra factoring trinomials. Algebra factoring trinomials, algebra formulas. http://truckfactoringclub.com/blogs/algebrafactoringtrinomials/2430/combinato  

18. Abstracts Of The Workshops At The School In Logic And Computation Samson Abramsky and Marina Lenisa Edinburgh University; Realisability Models over linear Combinatory Algebras and the full completeness problem for typed http://www.cee.hw.ac.uk/~fairouz/eefschool1999/abstracts2work.html 
19. Barendregt: Lambda Calculus In the present context, the theory of a Combinatory Algebra may not be . In every Combinatory Algebra we have lambda*x(A)x = A. An applicative structure http://mathgate.info/cebrown/notes/barendregt.php  

20. RamÃ³n Augusto Pino PÃ©rez A Strict Partial Combinatory Algebra which modelizes Partial Lambda Calculus. An Extensional Partial Combinatory Algebra based on terms. http://www.pgcomp.ula.ve/Profesores/Pino/ExpProfesional.html  

21. Emerald: Article Request Combinatory Algebra is explained in much more detail and rigor in EngelerÂs (1995) Combinatory Programme. Also, a more formal definition related to QFD is http://xtra.emeraldinsight.com/Insight/viewContentItem.do?contentType=Article&hd 
22. Speaker Samson Abramsky Title Axiomatics Of NoCloning And No Speaker Robin Cockett Title Itegories and partial Combinatory Algebras Abstract Flow diagrams are used extensively in Computer Science especially in the http://aix1.uottawa.ca/~scpsg/Fields07/abstracts.txt 
23. Stupid Question.  Lambda The Ultimate It is just these natural proof methods that are usually missing from ordinary Combinatory Algebra. (The same could be said about the theory of URS. http://lambdatheultimate.org/node/533  

24. A Combinatory Algebra For Sequential Functionals Of Finite It is shown that the type structure of finitetype functionals associated to a Combinatory Algebra of partial functions from IN to IN (in the same way as http://nsdl.org/resource/2200/20061122184651434T  

25. Developing Theories Of Types And Computability Via Realizability Given a partial Combinatory Algebra A, which we think of as continuous realizers, with a subalgebra a is subset of A which we think of as computable http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA 
26. CoCom Combinatory Algebra, 1172 Comet orbits and Gaussian distribution, 977 Common subexpressions in equation solutions, 945 in multilevel logic, 1096 http://www.wolframscience.com/nksonline/index/cocom.html  

27. USF Mathematics Faculty Research Selected Publications A measure of subgroup diversity, J. of Algebra 61 (1979), 308. A glimpse into the paradise of Combinatory Algebra, http://www.math.usf.edu/Grad/fac_profiles.html  

28. ( ) Inner algebras 2. Representation in Combinatory Algebras 3. Varieties as solutions of combinatory equations 4. Normal form theore http://basilo.kaist.ac.kr/API/?MIval=db_jour_detail&con=54296&tex=0 
29. Scientific Commons Inge Bethke Partial Combinatory Algebras occur regularly in the literature as a framework We introduce typed combinatory process algebra, a system combining process http://de.scientificcommons.org/inge_bethke  

30. Item Subject Baudrillard From Rob%research.att.com@nsfnetrelay The same change in fortune as for a strategy of pacification by the mirror of equivalence, all binary oppositions and all Combinatory Algebra. http://evolutionzone.com/kulturezone/cg.writing/cgw.baudrillard.txt  

31. An Extensional Partial Combinatory Algebra Based On LamdaTerms An Extensional Partial Combinatory Algebra Based on LamdaTerms. Resource URI http//www4.wiwiss.fuberlin.de/dblp/resource/record/conf/mfcs/Perez91 http://www4.wiwiss.fuberlin.de/dblp/resource/record/conf/mfcs/Perez91 
32. ODOBS  Publication Page: An Extensional Partial Combinatory Algebra Based On La An Extensional Partial Combinatory Algebra Based on LamdaTerms. Authors. RamÃ³n PINO PÃREZ. Year, 1991. Booktitle, MFCS. Pages, 387396. http://odobs.cs.unidortmund.de:8080/odobs/publication;jsessionid=2B061467611E6E 
33. From MAILERDAEMON Sun Mar 30 154127 2003 Date 30 Mar 2003 15 The somewhat mysterious definition of (partial or full) Combinatory Algebras is really motivated by the fact that it is equivalent to a combinatory http://www.mta.ca/~catdist/archive/2003/032  

34. Libra: A Combinatory Algebra For Sequential Functionals Of Finite The Combinatory Algebras. Wb Are. Abstract We will show that in the realisability model over the combinatoryalgebra A wb;e of e ective wellbracketed http://libra.msra.cn/papercited.aspx?id=34237&start=11&end=20 
35. Logic Seminar Abstracts New applicative systems based on an untyped partial Combinatory Algebra are proposed whose provably recursive functions conicide with the functions http://wwwlogic.stanford.edu/Abstracts/Seminar/Winter01.html 
36. Lars Birkedal / Realizability Bibliography A Combinatory Algebra for sequential functionals of finite type. In S.B. Cooper and J.K. Truss, editors, Models and Computability , pages 389406. http://www.itu.dk/people/birkedal/realizability/index.html  

37. Mathematics And Computation Â» Publications Abstract We compare realizability models over partial Combinatory Algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck http://math.andrej.com/category/papers/  

38. Bibliography.bib In every Combinatory Algebra there is a Boolean algebra of central elements Central elements are used to represent any Combinatory Algebra as a Boolean http://follia.di.unito.it/bibliography_bib.html 
39. WoLLIC'2006  Content the language of set theory is here augmented by variables for operations in an untyped partial Combinatory Algebra over sets. Like the earlier approach, http://www.cin.ufpe.br/~wollic/wollic2006/content.html  

40. Java Combinators We have seen that we can map the Lambda Calculus down into a Combinatory Algebra. How might we implement a Combinatory Algebra in the Java environment? http://www.cs.bham.ac.uk/research/projects/poplog/paradigms_lectures/lambda_calc  

41. MathGroup Archive: April 1999 [00139] (Makes use of Dynamic Programming, Stochastic Processes to provide the randomization or probability vectors using things learned in Combinatory Algebra or http://forums.wolfram.com/mathgroup/archive/1999/Apr/msg00139.html  

42. Fully Complete Models For ML Polymorphic Types We show that a special linear Combinatory Algebra of partial involutions induces an hyperdoctrine which satisfies our axiomatization, and hence it provides http://www.lfcs.inf.ed.ac.uk/reports/99/ECSLFCS99414/  

43. COMPUTER SCIENCE TECHNICAL REPORT ABSTRACTS Given a partial Combinatory Algebra A, which we think of as continuous realizers, with a subalgebra A , which we think of as computable realizers, http://reportsarchive.adm.cs.cmu.edu/anon/1999/abstracts/99173.html  

44. Science/AAAS  Science Magazine: Published ELetter Responses For Maziak, 308 (5 Algebra (Arabic for ÂreductionÂ) is also an Arab invention. unknown in the Greek world as well as Combinatory Algebra), plain trigonometry, etc. http://www.sciencemag.org/cgi/eletters/308/5727/1416  

45. Npat's Blog to all Combinatory Algebra . The fake does not give you a clearer glimpse to the world, but, under the best conditions, a glimpse to a cleaner world. http://npat.livejournal.com/tag/culture  

47. Flengyel's Bookmarks Tagged With "partialcombinatoryalgebra" On Del.icio.us flengyel s items tagged partialCombinatoryAlgebra view all, popular .. to logic combinator partialCombinatoryAlgebra LP logicofproofs . http://del.icio.us/flengyel/partialcombinatoryalgebra  

48. Geometry, Algebra, Arithmetics And Combinatory Ã¢ÂÂ IRISA Geometry, Algebra, Arithmetics and Combinatory HAVEGE The unpredictable random number generator; Geometry, Algebra, Arithmetics and Combinatory http://www.irisa.fr/partnership/software/resolveuid/b6df7b413678989f05f48dbe01f1  

49. List Of Algebraic Structures  Wikipedia, The Free Encyclopedia 2.4 Ringlike structures; 2.5 Modules and Algebras. 3 Quasivarieties. 3.1 Magmas. 3.1.1 Cancellative; 3.1.2 Combinatory logic. 3.2 Graphs; 3.3 Lattices http://en.wikipedia.org/wiki/List_of_algebraic_structures  

50. BibTeX Bibliography Intjcomputinfsci.bib Dept., New Mexico Inst. of Mining and Technol., Socorro, NM, USA , keywords = Algebra; combinatorial circuits; hazards and race conditions; fuzzy Algebra; http://www.math.utah.edu/pub/tex/bib/intjcomputinfsci.html  

Page 1 159 of 59 1 