Different Types of Arrow Between Logical Frameworks (1996)

Cached

Download Links

by Till Mossakowski
Venue:Proc. ICALP 96, LNCS 1099, 158--169
Citations:5 - 2 self