![](/img/cover-not-exists.png)
Sequent combinators: a Hilbert system for the lambda calculus
GOGUEN, HEALFDENE, GOUBAULT-LARRECQ, JEANVolume:
10
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129599002911
Date:
February, 2000
File:
PDF, 883 KB
english, 2000