The Church-Rosser property in dual combinatory logic
Journal of Symbolic Logic 68 (1):132-152 (2003)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesKatalin Bombó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536 - 556.
Katalin Bimbó (2003). The Church-Rosser Property in Dual Combinatory Logic. Journal of Symbolic Logic 68 (1):132-152.
Katalin Bimbó (2000). Investigation Into Combinatory Systems with Dual Combinators. Studia Logica 66 (2):285-296.
Katalin Bimbó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536-556.
M. W. Bunder (1988). Arithmetic Based on the Church Numerals in Illative Combinatory Logic. Studia Logica 47 (2):129 - 143.
Kenneth Loewen (1968). The Church Rosser Theorem for Strong Reduction in Combinatory Logic. Notre Dame Journal of Formal Logic 9 (4):299-302.
Katalin Bimbó (2004). Semantics for Dual and Symmetric Combinatory Calculi. Journal of Philosophical Logic 33 (2):125-153.
E. G. K. López-Escobar (1990). Remarks on the Church-Rosser Property. Journal of Symbolic Logic 55 (1):106-112.
C. Barry Jay (1991). Coherence in Category Theory and the Church-Rosser Property. Notre Dame Journal of Formal Logic 33 (1):140-143.
Barkley Rosser (1942). New Sets of Postulates for Combinatory Logics. Journal of Symbolic Logic 7 (1):18-27.
Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa (forthcoming). A Simplified Proof of the Church–Rosser Theorem. Studia Logica:1-9.
J. Roger Hindley (1972). Introduction to Combinatory Logic. Cambridge [Eng.]University Press.
Katalin Bimbó (2012). Combinatory Logic: Pure, Applied, and Typed. Taylor & Francis.
Haskell B. Curry (1958). Combinatory Logic. Amsterdam, North-Holland Pub. Co..
Pierluigi Minari (1999). Theories of Types and Names with Positive Stratified Comprehension. Studia Logica 62 (2):215-242.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
