Home  - Lambda_Calculus - Combinatory Algebra
 Images Newsgroups
 1-59 of 59    1

See This List with Details

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://atlas-conferences.com/cgi-bin/abstract/caug-81

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,

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/combinatory-algebra/

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/FLoC-06/LICS-day225.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

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/1997-98/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/cgi-bin/btgetdoc.cgi?BUS1-0003-0024

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

15. DBLP: Inge Bethke
8, Inge Bethke, Jan Willem Klop, Roel C. de Vrijer Completing Partial Combinatory Algebras With Unique HeadNormal Forms. LICS 1996 448-454
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/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/combinatory-algebra/

17. Combinatory
Combinatory Algebra Truck Factoring Club Algebra factoring trinomials. Algebra factoring trinomials, algebra formulas.
http://truckfactoring-club.com/blogs/algebra-factoring-trinomials/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 No-Cloning 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://lambda-the-ultimate.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

26. Co-Com
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/co-com.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,

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@nsfnet-relay
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/c-g.writing/cgw.baudrillard.txt

31. An Extensional Partial Combinatory Algebra Based On Lamda-Terms
An Extensional Partial Combinatory Algebra Based on LamdaTerms. Resource URI http//www4.wiwiss.fu-berlin.de/dblp/resource/record/conf/mfcs/Perez91
http://www4.wiwiss.fu-berlin.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, 387-396.
http://odobs.cs.uni-dortmund.de:8080/odobs/publication;jsessionid=2B061467611E6E

33. From MAILER-DAEMON 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/~cat-dist/archive/2003/03-2

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://www-logic.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?

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/ECS-LFCS-99-414/

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,

44. Science/AAAS | Science Magazine: Published E-Letter 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

46. TAC Abstracs
In the second talk, we show that the fully abstract model of PCF a la Milner arises as a realisability model over the partial Combinatory Algebra (pca) as
http://www.disi.unige.it/eventsandseminars/tac/abstracts98.html

47. Flengyel's Bookmarks Tagged With "partial-combinatory-algebra" On Del.icio.us
flengyel s items tagged partialCombinatory-Algebra view all, popular .. to logic combinator partial-Combinatory-Algebra LP logic-of-proofs .
http://del.icio.us/flengyel/partial-combinatory-algebra

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

 1-59 of 59    1