Dual combinators bite the dust

, &
Bulletin of Symbolic Logic 4:463-464 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The church-Rosser property in dual combinatory logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
Investigation into combinatory systems with dual combinators.Katalin Bimbó - 2000 - Studia Logica 66 (2):285-296.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
Some results on combinators in the system TRC.Thomas Jech - 1999 - Journal of Symbolic Logic 64 (4):1811-1819.
Archiving dust.Dorota Chudzicka - 2009 - In Eva Ebersberger, Daniela Zyman & Thordis Arrhenius (eds.), Jorge Otero-Pailos: The Ethics of Dust. Dist. By Art Publishers.
Combinator logics.Lou Goble - 2004 - Studia Logica 76 (1):17 - 66.
Ethics impressed on dust : Nihil potest homo intelligere sine phantasmate.Lorenzo Fusi - 2009 - In Eva Ebersberger, Daniela Zyman & Thordis Arrhenius (eds.), Jorge Otero-Pailos: The Ethics of Dust. Dist. By Art Publishers.
Quantification without variables in connectionism.John A. Barnden & Kankanahalli Srinivas - 1996 - Minds and Machines 6 (2):173-201.
Variable-free formalization of the Curry-Howard theory.William Tait - manuscript
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$ L T → t for Implicational Ticket Entailment.Katalin Bimbó & J. Michael Dunn - 2014 - Logica Universalis 8 (2):141-164.

Analytics

Added to PP
2014-01-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Jon Michael Dunn
PhD: University of Pittsburgh; Last affiliation: Indiana University, Bloomington
Katalin Bimbo
University of Alberta

Citations of this work

Semantics for dual and symmetric combinatory calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.
The church-Rosser property in dual combinatory logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references