A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A simple sequent calculus for partial functions
1993
Theoretical Computer Science
Elvang-Gsransson, M. and 0. Owe, A simple sequent calculus for partial functions, Theoretical
doi:10.1016/0304-3975(93)90077-7
fatcat:oitr2pecwffzbmrc5b4hmxyysa