Type systems for Higher Order Logic (1990)

by H Geuvers
Venue:University Nijmegen