Investigation into Combinatory Systems with Dual Combinators

Simple item page
dc.contributor.authorBimbo, Katalin
dc.date.accessioned2015-12-13T23:19:39Z
dc.date.issued2000
dc.date.updated2015-12-12T09:00:28Z
dc.description.abstractCombinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (→, ←), led to the introduction of dual combinators in Dunn & Meyer 1997. Du
dc.identifier.issn0039-3215
dc.identifier.urihttp://hdl.handle.net/1885/90380
dc.publisherKluwer Academic Publishers
dc.sourceStudia Logica
dc.subjectKeywords: Church-Rosser property; Combinatory logic; Dual combinators; Substructural logics; Symmetric ?-calculus
dc.titleInvestigation into Combinatory Systems with Dual Combinators
dc.typeJournal article
local.bibliographicCitation.issue2
local.bibliographicCitation.lastpage296
local.bibliographicCitation.startpage285
local.contributor.affiliationBimbo, Katalin, College of Engineering and Computer Science, ANU
local.contributor.authoruidBimbo, Katalin, u4012338
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor010104 - Combinatorics and Discrete Mathematics (excl. Physical Combinatorics)
local.identifier.ariespublicationMigratedxPub20725
local.identifier.citationvolume66
local.identifier.scopusID2-s2.0-0012806921
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Bimbo_Investigation_into_Combinatory_2000.pdf
Size:
292.98 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS