Skip to content

A Curry-Howard View of Basic Justification Logic.

Konstantinos Pouliasis

VenueCWoLLIC
Year2016
ProceedingsWoLLIC

Browse the full WoLLIC paper archive.