Output details
11 - Computer Science and Informatics
University of Leicester
Return to search
Output 0 of 0 in the submission
Output title
Meaningless Sets in Infinitary Combinatory Logic
Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Volume number
15
Issue number
-
First page of article
288
ISSN of proceedings
-
Year of publication
2012
Number of additional authors
1
Additional information
<10>The miodel theory of Combinatory Logic has not received that much attention. This paper shows that it is at least as rich as the model theory of lambda calculus.
The paper has been cited in "Highlights in infinitary rewriting and lambda calculus"(TCS2012) by Endrullis, Hendriks and Klop.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
