Works matching IS 09601295 AND DT 2000 AND VI 10 AND IP 1

Sequent combinators: a Hilbert system for the lambda calculus.

Published in:

Mathematical Structures in Computer Science, 2000, v. 10, n. 1, p. 1, doi. 10.1017/s0960129599002911

By:

• GOGUEN, HEALFDENE;
• GOUBAULT-LARRECQ, JEAN

Publication type:

Article