MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Lambda terms for natural deduction, sequent calculus and cut elimination." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
by Henk Barendregt, Silvia Ghilezan — 1998 — Journal of Functional Programming
…Lambda terms for natural deduction, sequent calculus and cut elimination Henk Barendregt…
Cited by 5 (0 self) – Add To MetaCart

Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
by Cut Elimination, Henk Barendregt, Silvia Ghilezan, Silvia Ghilezan
… terms for natural deduction, sequent calculus and cut elimination HENK BARENDREGT Department…
Add To MetaCart

Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
by Henk Barendregt Department, Cut Elimination, Henk Barendregt, Silvia Ghilezan, Silvia Ghilezan
… terms for natural deduction, sequent calculus and cut elimination HENK BARENDREGT Department…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB