A formal framework for specifying sequent calculus proof systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2013

Dates and versions

hal-00787586 , version 1 (12-02-2013)

Identifiers

Cite

Dale Miller, Elaine Pimentel. A formal framework for specifying sequent calculus proof systems. Theoretical Computer Science, 2013, pp.98-116. ⟨10.1016/j.tcs.2012.12.008⟩. ⟨hal-00787586⟩
176 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More