Journal Articles Theoretical Computer Science Year : 2013

A formal framework for specifying sequent calculus proof systems

Dale Miller  : Connect in order to contact the contributor

https://inria.hal.science/hal-00787586

Submitted on : Tuesday, February 12, 2013-2:25:35 PM

Last modification on : Tuesday, September 3, 2024-1:56:20 PM

Consult the full text

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
197 View
0 Download

Altmetric

Share

More