A Proof-Theoretic Account of Programming and the Role of Reduction Rules-Reference-Cited by-同舟云学术

A Proof-Theoretic Account of Programming and the Role of Reduction Rules

Published:1988-12 Issue:4 Volume:42 Page:265-282
ISSN:0012-2017
Container-title:dialectica
language:en
Short-container-title:Dialectica

Author:

de Queiroz Ruy J. G. B.

Publisher

Verein philosophie.ch

Subject

Philosophy

Reference20 articles.

1. P. H.G. Aczel, KeislerBarwise, and Kunen, 1980 . "Frege Structures and the Notions of Proposition, Truth and Set" in) 1980pp. 31 -59 .

2. A. Ambrose) 1979 . Wittgenstein's Lectures. Cambridge, 1932-35 , (Basil Blackwell, Oxford), xii + 225 pp.

3. H.P. Barendregt, The Lambda Calculus. Its Syntax and Semantics , series Studies in Logic and The Foundations of Mathematics Vol. 103 (North-Holland, Amsterdam), xv + 621 pp.

4. J. Barwise, H.J. Keisler, and K. Kunen) 1980 . The Kleene Symposium , Proceedings of the Symposium held June 18-24 1978 at Madison, Wisconsin, U.S.A., series Studies in Logic and The Foundations of Mathematics Vol. 101 (North-Holland, Amsterdam), xx + 425 pp.

5. P. Dybjer, AbramskyPitt, POIGNE, and Rydeheard, 1985 . "Category Theory and Programming Language Semantics: an Overview" in) 1985pp.165 -181 .

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computational paths - a weak groupoid;Journal of Logic and Computation;2023-11-24

2. From Tractatus to Later Writings and Back – New Implications from Wittgenstein’sNachlass;SATS;2023-05-03

3. Lambda Obfuscation;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2018

4. Natural Deduction for Equality: The Missing Entity;Trends in Logic;2014

5. The Functional Interpretation of Direct Computations;Electronic Notes in Theoretical Computer Science;2011-04