Different Types of Arrow Between Logical Frameworks.

Till Mossakowski

Browse the full ICALP paper archive.