A proof-theoretic treatment of <span class="italic">λ</span>-reduction with cut-elimination: <span class="italic">λ</span>-calculus as a logic programming language
Article in Journal of Symbolic Logic (June 2011)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in Journal of Symbolic Logic (June 2011)
Book chapter (January 1994)
Book chapter (January 1989)