A simple sequent calculus for partial functions

Morten Elvang-Gøransson, Olaf Owe
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