Graph Model of LAMBDA in Higher Order Logic (1993)

by K D Petersen
Venue:In the Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications