MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Sequent combinators a Hilbert system for the lambda calculus." – 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

Sequent Combinators: A Hilbert System for the Lambda Calculus
by Healfdene Goguen Department, Healfdene Goguen — 1999 — Mathematical Structures in Computer Science
…Sequent Combinators: A Hilbert System for the Lambda Calculus Healfdene Goguen Department…
Add To MetaCart

Sequent Combinators: A Hilbert System for the Lambda Calculus
by Healfdene Goguen, Sequent Combinators, Jean Goubault-Larrecq — 1999
… March 1999 This paper introduces Hilbert systems for -calculus, called sequent combinators, addressing…
Cited by 5 (4 self) – Add To MetaCart

Sequent Combinators: A Hilbert System for the Lambda Calculus
by Healfdene Goguen And, Sequent Combinators, Jean Goubault Larrecq — 1999
… consideration for publication in Math. Struct. in Comp. Science Sequent Combinators: A Hilbert System…
Add To MetaCart

Showing 1 through 3.

ATOM

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