A Resource-Based Logic for Termination and Non-termination Proofs

Date: April 11, 2014