Different types of arrow between logical frameworks (1996)

by Till Mossakowski
Venue:Proc. ICALP 96