What term assignments can do for focusing∗ Guillaume Munch-Maccagnoni Inria 17th JuneDescribing proof systems as type systems for term calculi has a crucial consequence

First Page		Document Content
Date: 2017-08-04 11:45:45		What term assignments can do for focusing∗ Guillaume Munch-Maccagnoni Inria 17th JuneDescribing proof systems as type systems for term calculi has a crucial consequence Add to Reading List Source URL: anupamdas.com Download Document from Source Website File Size: 109,80 KB Share Document on Facebook