Investigation into Combinatory Systems with Dual Combinators
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
| Collections | ANU Research Publications |
|---|---|
| Date published: | 2000 |
| Type: | Journal article |
| URI: | http://hdl.handle.net/1885/90380 |
| Source: | Studia Logica |
Download
| File | Description | Size | Format | Image |
|---|---|---|---|---|
| 01_Bimbo_Investigation_into_Combinatory_2000.pdf | 292.98 kB | Adobe 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
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906
