Skip navigation
Skip navigation

Investigation into Combinatory Systems with Dual Combinators

Bimbo, Katalin

Description

Combinatory 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

CollectionsANU Research Publications
Date published: 2000
Type: Journal article
URI: http://hdl.handle.net/1885/90380
Source: Studia Logica

Download

File Description SizeFormat Image
01_Bimbo_Investigation_into_Combinatory_2000.pdf292.98 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator