Induction and Co-induction in Sequent Calculus

Alberto Momigliano, Alwen Tiu

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Original language	English
Title of host publication	LNCS
Editors	S. Berardi, M. Coppo, and F. Damiani (Eds.)
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	293-308
Edition	3085
ISBN (Print)	9783540221647
DOIs	https://doi.org/10.1007/b98246
Publication status	Published - 2003
Event	International Workshop on Types for Proofs and Programs (TYPES 2003) - Torino Italy Duration: 1 Jan 2003 → … http://www.springerlink.com/content/?k=tiu

Conference	International Workshop on Types for Proofs and Programs (TYPES 2003)
Period	1/01/03 → …
Other	April 30-May 4 2003
Internet address	http://www.springerlink.com/content/?k=tiu

Access to Document

@inproceedings{be88574442a443789c7aec0d39cf01d8,

title = "Induction and Co-induction in Sequent Calculus",

author = "Alberto Momigliano and Alwen Tiu",

year = "2003",

doi = "10.1007/b98246",

language = "English",

isbn = "9783540221647",

pages = "293--308",

editor = "\{S. Berardi, M. Coppo, and F. Damiani (Eds.)\}",

booktitle = "LNCS",

publisher = "Springer",

address = "Germany",

edition = "3085",

note = "International Workshop on Types for Proofs and Programs (TYPES 2003) ; Conference date: 01-01-2003",

url = "http://www.springerlink.com/content/?k=tiu",

}

TY - GEN

T1 - Induction and Co-induction in Sequent Calculus

AU - Momigliano, Alberto

AU - Tiu, Alwen

PY - 2003

Y1 - 2003

U2 - 10.1007/b98246

DO - 10.1007/b98246

M3 - Conference Paper

SN - 9783540221647

SP - 293

EP - 308

BT - LNCS

A2 - null, S. Berardi, M. Coppo, and F. Damiani (Eds.)

PB - Springer

CY - Berlin, Heidelberg

T2 - International Workshop on Types for Proofs and Programs (TYPES 2003)

Y2 - 1 January 2003

ER -