Mitsuhiro Okada. Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs. Electronic Notes in Theoretical Computer Science, 3:154, 1996. [doi]
@article{Okada96:0, title = {Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs}, author = {Mitsuhiro Okada}, year = {1996}, url = {http://www.elsevier.com/gej-ng/31/29/23/28/23/show/Products/notes/index.htt#018}, tags = {semantics, completeness}, researchr = {https://researchr.org/publication/Okada96%3A0}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {3}, pages = {154}, }