Continuation-Passing Style And Strong Normalisation For Intuitionistic Sequent Calculi

AuthID
P-003-R7G
3
Author(s)
Matthes, R
·
1
Editor(es)
Ronchi Della Rocca,S
Tipo de Documento
Article
Year published
2009
Publicado
in LOGICAL METHODS IN COMPUTER SCIENCE, ISSN: 1860-5974
Volume: 5, Número: 2
Conference
Tlca Conference 2007, Date: 2007, Location: Paris, FRANCE
Indexing
Publication Identifiers
Wos: WOS:000268642300011
Source Identifiers
ISSN: 1860-5974
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.